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


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() {}