3 #![feature(associated_type_defaults)]
6 // Fine, i32: PartialEq<i32>
7 type Member<'a>: for<'b> PartialEq<Self::Member<'b>> = i32;
12 // Not fine, not Foo: PartialEq<Foo>
13 type Member<'a>: for<'b> PartialEq<Self::Member<'b>> = Foo;
14 //~^ ERROR can't compare