1 error[E0412]: cannot find type `PhantomData` in this scope
2 --> $DIR/issue-77919.rs:9:9
5 | ^^^^^^^^^^^ not found in this scope
7 help: consider importing this struct
9 LL | use std::marker::PhantomData;
12 error[E0412]: cannot find type `VAL` in this scope
13 --> $DIR/issue-77919.rs:11:63
15 LL | impl<N, M> TypeVal<usize> for Multiply<N, M> where N: TypeVal<VAL> {}
16 | - ^^^ not found in this scope
18 | help: you might be missing a type parameter: `, VAL`
20 error[E0046]: not all trait items implemented, missing: `VAL`
21 --> $DIR/issue-77919.rs:11:1
24 | ------------- `VAL` from trait
26 LL | impl<N, M> TypeVal<usize> for Multiply<N, M> where N: TypeVal<VAL> {}
27 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `VAL` in implementation
29 error: aborting due to 3 previous errors
31 Some errors have detailed explanations: E0046, E0412.
32 For more information about an error, try `rustc --explain E0046`.