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