1 error[E0277]: the trait bound `Self: std::cmp::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 | ^^^^^^^^^- help: consider further restricting `Self`: `, Self: std::cmp::Eq`
10 | the trait `std::cmp::Eq` is not implemented for `Self`
12 error: aborting due to previous error
14 For more information about this error, try `rustc --explain E0277`.