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

   1 // check-pass
   2
   3 #![feature(generic_associated_types)]
   4
   5 trait Family {
   6     type Member<'a>: for<'b> PartialEq<Self::Member<'b>>;
   7 }
   8
   9 struct I32;
  10
  11 impl Family for I32 {
  12     type Member<'a> = i32;
  13 }
  14
  15 fn main() {}