src/test/ui/issues/issue-77919.rs

   1 fn main() {
   2     [1; <Multiply<Five, Five>>::VAL];
   3 }
   4 trait TypeVal<T> {
   5     const VAL: T;
   6 }
   7 struct Five;
   8 struct Multiply<N, M> {
   9     _n: PhantomData, //~ ERROR cannot find type `PhantomData` in this scope
  10 }
  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`