tests/ui/crashes/ice-6252.rs

   1 // originally from glacier fixed/77919.rs
   2 // encountered errors resolving bounds after type-checking
   3
   4 trait TypeVal<T> {
   5     const VAL: T;
   6 }
   7 struct Five;
   8 struct Multiply<N, M> {
   9     _n: PhantomData,
  10 }
  11 impl<N, M> TypeVal<usize> for Multiply<N, M> where N: TypeVal<VAL> {}
  12
  13 fn main() {
  14     [1; <Multiply<Five, Five>>::VAL];
  15 }