tests/ui/generic-associated-types/issue-67424.rs

//@ check-pass
// Fixed by #67160

trait Trait1 {
    type A;
}

trait Trait2 {
    type Type1<B>: Trait1<A=B>;
}

fn main() {}