src/test/ui/where-clauses/where-clauses-unsatisfied.stderr

   1 error[E0277]: the trait bound `Struct: std::cmp::Eq` is not satisfied
   2   --> $DIR/where-clauses-unsatisfied.rs:6:10
   3    |
   4 LL | fn equal<T>(a: &T, b: &T) -> bool where T : Eq { a == b }
   5    |                                             -- required by this bound in `equal`
   6 ...
   7 LL |     drop(equal(&Struct, &Struct))
   8    |          ^^^^^ the trait `std::cmp::Eq` is not implemented for `Struct`
   9
  10 error: aborting due to previous error
  11
  12 For more information about this error, try `rustc --explain E0277`.