1 error[E0412]: cannot find type `PhantomData` in this scope
2 --> $DIR/ice-6252.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/ice-6252.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/ice-6252.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: any use of this value will cause an error
30 --> $DIR/ice-6252.rs:5:5
33 | ^^^^^^^^^^^^^ no MIR body is available for DefId(0:5 ~ ice_6252[317d]::TypeVal::VAL)
35 = note: `#[deny(const_err)]` on by default
37 error[E0080]: evaluation of constant value failed
38 --> $DIR/ice-6252.rs:14:9
40 LL | [1; <Multiply<Five, Five>>::VAL];
41 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ referenced constant has errors
43 error: aborting due to 5 previous errors
45 Some errors have detailed explanations: E0046, E0080, E0412.
46 For more information about an error, try `rustc --explain E0046`.