src/test/ui/const-generics/backcompat/trait-resolution-breakage.rs

   1 // check-pass
   2
   3 trait Trait<T> {
   4     const ASSOC_CONST: usize = 0;
   5 }
   6
   7 impl Trait<()> for u8 {}
   8
   9 // `u8::ASSOC_CONST` is resolved today, but will be ambiguous
  10 // under lazy normalization.
  11 fn foo<T, U>() -> [(T, U); u8::ASSOC_CONST]
  12 where
  13     u8: Trait<T> + Trait<U>,
  14 {
  15     todo!()
  16 }
  17
  18 fn main() {}