1 error: cannot implement trait on type alias impl trait
2 --> $DIR/recursive-type-alias-impl-trait-declaration-too-subtle.rs:20:21
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.rs:16:16
10 LL | type Foo = impl PartialEq<(Foo, i32)>;
11 | ^^^^^^^^^^^^^^^^^^^^^^^^^^
13 error: aborting due to previous error