1 #![feature(type_alias_impl_trait)]
4 type Foo = impl PartialEq<(Foo, i32)>;
5 //~^ ERROR: unconstrained opaque type
9 impl PartialEq<(Bar, i32)> for Bar {
10 fn eq(&self, _other: &(Foo, i32)) -> bool {
11 //~^ ERROR: `eq` has an incompatible type for trait
18 type Foo = impl PartialEq<(Foo, i32)>;
19 //~^ ERROR: unconstrained opaque type
23 impl PartialEq<(Foo, i32)> for Bar {
24 fn eq(&self, _other: &(Bar, i32)) -> bool {
25 //~^ ERROR: `eq` has an incompatible type for trait