tests/ui/generic-associated-types/issue-102333.rs

   1 // check-pass
   2
   3 trait A {
   4     type T: B<U<1i32> = ()>;
   5 }
   6
   7 trait B {
   8     type U<const C: i32>;
   9 }
  10
  11 fn f<T: A>() {
  12     let _: <<T as A>::T as B>::U<1i32> = ();
  13 }
  14
  15 fn main() {}