src/test/ui/generic-associated-types/method-unsatified-assoc-type-predicate.stderr

   1 error[E0599]: the method `f` exists for struct `S`, but its trait bounds were not satisfied
   2   --> $DIR/method-unsatified-assoc-type-predicate.rs:26:7
   3    |
   4 LL | struct S;
   5    | ---------
   6    | |
   7    | method `f` not found for this
   8    | doesn't satisfy `<S as X>::Y<i32> = i32`
   9    | doesn't satisfy `S: M`
  10 ...
  11 LL |     a.f();
  12    |       ^ method cannot be called on `S` due to unsatisfied trait bounds
  13    |
  14    = note: the following trait bounds were not satisfied:
  15            `<S as X>::Y<i32> = i32`
  16            which is required by `S: M`
  17
  18 error: aborting due to previous error
  19
  20 For more information about this error, try `rustc --explain E0599`.