2 [1; <Multiply<Five, Five>>::VAL];
8 struct Multiply<N, M> {
9 _n: PhantomData, //~ ERROR cannot find type `PhantomData` in this scope
11 impl<N, M> TypeVal<usize> for Multiply<N, M> where N: TypeVal<VAL> {}
12 //~^ ERROR cannot find type `VAL` in this scope
13 //~| ERROR not all trait items implemented, missing: `VAL`