src/test/ui/generic-associated-types/anonymize-bound-vars.rs

   1 // check-pass
   2 //
   3 // regression test for #98702
   4 #![feature(generic_associated_types)]
   5
   6 trait Foo {
   7     type Assoc<T>;
   8 }
   9
  10 impl Foo for () {
  11     type Assoc<T> = [T; 2*2];
  12 }
  13
  14 fn main() {}