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