1 2 3 4 5 6 7 8 9 10 11 12
// check-pass // Fixed by #67160 trait Trait1 { type A; } trait Trait2 { type Type1<B>: Trait1<A=B>; } fn main() {}