1error[E0277]: can't compare `Foo` with `Foo` 2 --> $DIR/issue-87429-associated-type-default.rs:14:5 3 | 4LL | type Member<'a>: for<'b> PartialEq<Self::Member<'b>> = Foo; 5 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no implementation for `Foo == Foo` 6 | 7 = help: the trait `PartialEq` is not implemented for `Foo` 8note: required by a bound in `Family2::Member` 9 --> $DIR/issue-87429-associated-type-default.rs:14:22 10 | 11LL | type Member<'a>: for<'b> PartialEq<Self::Member<'b>> = Foo; 12 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `Family2::Member` 13 14error: aborting due to previous error 15 16For more information about this error, try `rustc --explain E0277`. 17