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 {
17 type Foo = impl PartialEq<(Foo, i32)>;
18 //~^ ERROR unconstrained opaque type
22 impl PartialEq<(Foo, i32)> for Bar {
23 fn eq(&self, _other: &(Bar, i32)) -> bool {
24 //~^ ERROR impl has stricter requirements than trait