error[E0277]: the trait bound `Self: Eq` is not satisfied --> $DIR/wf-trait-fn-where-clause.rs:10:49 | LL | fn bar(&self) where Self: Sized, Bar: Copy; | ^^^^ the trait `Eq` is not implemented for `Self` | note: required by a bound in `Bar` --> $DIR/wf-trait-fn-where-clause.rs:7:14 | LL | struct Bar { value: Box } | ^^ required by this bound in `Bar` help: consider further restricting `Self` | LL | fn bar(&self) where Self: Sized, Bar: Copy, Self: Eq; | ++++++++++ error: aborting due to 1 previous error For more information about this error, try `rustc --explain E0277`.