1 files changed, 35 insertions, 0 deletions
diff --git a/tests/ui/const-generics/trait-resolution-error-with-const-generics-77919.stderr b/tests/ui/const-generics/trait-resolution-error-with-const-generics-77919.stderr
new file mode 100644
index 00000000000..bac8abf46dc
--- /dev/null
+++ b/tests/ui/const-generics/trait-resolution-error-with-const-generics-77919.stderr
@@ -0,0 +1,35 @@
+error[E0412]: cannot find type `PhantomData` in this scope
+  --> $DIR/trait-resolution-error-with-const-generics-77919.rs:10:9
+   |
+LL |     _n: PhantomData,
+   |         ^^^^^^^^^^^ not found in this scope
+   |
+help: consider importing this struct
+   |
+LL + use std::marker::PhantomData;
+   |
+
+error[E0412]: cannot find type `VAL` in this scope
+  --> $DIR/trait-resolution-error-with-const-generics-77919.rs:12:63
+   |
+LL | impl<N, M> TypeVal<usize> for Multiply<N, M> where N: TypeVal<VAL> {}
+   |                                                               ^^^ not found in this scope
+   |
+help: you might be missing a type parameter
+   |
+LL | impl<N, M, VAL> TypeVal<usize> for Multiply<N, M> where N: TypeVal<VAL> {}
+   |          +++++
+
+error[E0046]: not all trait items implemented, missing: `VAL`
+  --> $DIR/trait-resolution-error-with-const-generics-77919.rs:12:1
+   |
+LL |     const VAL: T;
+   |     ------------ `VAL` from trait
+...
+LL | impl<N, M> TypeVal<usize> for Multiply<N, M> where N: TypeVal<VAL> {}
+   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `VAL` in implementation
+
+error: aborting due to 3 previous errors
+
+Some errors have detailed explanations: E0046, E0412.
+For more information about an error, try `rustc --explain E0046`.