error[E0277]: the trait bound `X: Foo` is not satisfied --> $DIR/where-clause-method-substituion.rs:20:16 | LL | 1.method::(); | ^ the trait `Foo` is not implemented for `X` | help: this trait has no implementations, consider adding one --> $DIR/where-clause-method-substituion.rs:1:1 | LL | trait Foo { | ^^^^^^^^^^^^ note: required by a bound in `Bar::method` --> $DIR/where-clause-method-substituion.rs:6:34 | LL | fn method(&self) where A: Foo; | ^^^^^^ required by this bound in `Bar::method` error: aborting due to previous error For more information about this error, try `rustc --explain E0277`.