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 } 11 main()12 fn main() {} 13