//@ check-pass
// Fixed by #67160
trait Trait1 {
type A;
}
trait Trait2 {
type Type1<B>: Trait1<A=B>;
fn main() {}