1 #![feature(type_alias_impl_trait)]
4 type Foo = impl PartialEq<(Foo, i32)>;
8 impl PartialEq<(Bar, i32)> for Bar {
9 fn eq(&self, _other: &(Foo, i32)) -> bool {
16 type Foo = impl PartialEq<(Foo, i32)>;
20 impl PartialEq<(Foo, i32)> for Bar {
21 //~^ ERROR cannot implement trait on type alias impl trait
22 fn eq(&self, _other: &(Bar, i32)) -> bool {