src/test/ui/generic-associated-types/issue-67424.rs

   1 // Fixed by #67160
   2
   3 trait Trait1 {
   4     type A;
   5 }
   6
   7 trait Trait2 {
   8     type Type1<B>: Trait1<A=B>;
   9     //~^ ERROR: generic associated types are unstable
  10     //~| ERROR: type-generic associated types are not yet implemented
  11 }
  12
  13 fn main() {}