1error[E0277]: the trait bound `Self: Eq` is not satisfied 2 --> $DIR/wf-trait-default-fn-where-clause.rs:11:31 3 | 4LL | fn bar<A>(&self) where A: Bar<Self> { 5 | ^^^^^^^^^ the trait `Eq` is not implemented for `Self` 6 | 7note: required by a bound in `Bar` 8 --> $DIR/wf-trait-default-fn-where-clause.rs:8:13 9 | 10LL | trait Bar<T:Eq+?Sized> { } 11 | ^^ required by this bound in `Bar` 12help: consider further restricting `Self` 13 | 14LL | fn bar<A>(&self) where A: Bar<Self>, Self: Eq { 15 | ++++++++++ 16 17error: aborting due to previous error 18 19For more information about this error, try `rustc --explain E0277`. 20