tests/ui/generic-associated-types/issue-87429-specialization.rs

   1 // check-fail
   2
   3 #![feature(specialization)]
   4 //~^ WARN incomplete
   5
   6 trait Family {
   7     type Member<'a>: for<'b> PartialEq<Self::Member<'b>>;
   8 }
   9
  10 struct I32Family;
  11
  12 impl Family for I32Family {
  13     default type Member<'a> = i32;
  14 }
  15
  16 struct Foo;
  17 struct FooFamily;
  18
  19 impl Family for FooFamily {
  20     default type Member<'a> = Foo;
  21     //~^ ERROR can't compare
  22 }
  23
  24 fn main() {}