src/test/ui/generic-associated-types/issue-87429-specialization.rs

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