1 error: cannot implement trait on type alias impl trait
2 --> $DIR/recursive-type-alias-impl-trait-declaration-too-subtle-2.rs:7:17
4 LL | impl PartialEq<(Foo, i32)> for Bar {
7 note: type alias impl trait defined here
8 --> $DIR/recursive-type-alias-impl-trait-declaration-too-subtle-2.rs:3:12
10 LL | type Foo = impl PartialEq<(Foo, i32)>;
11 | ^^^^^^^^^^^^^^^^^^^^^^^^^^
13 error: aborting due to previous error