error[E0599]: the method `f` exists for struct `S`, but its trait bounds were not satisfied
  --> $DIR/method-unsatified-assoc-type-predicate.rs:28:7
   |
LL | struct S;
   | --------
   | |
   | method `f` not found for this struct
   | doesn't satisfy `<S as X>::Y<i32> = i32`
   | doesn't satisfy `S: M`
...
LL |     a.f();
   |       ^ method cannot be called on `S` due to unsatisfied trait bounds
   |
note: trait bound `<S as X>::Y<i32> = i32` was not satisfied
  --> $DIR/method-unsatified-assoc-type-predicate.rs:12:11
   |
LL | impl<T: X<Y<i32> = i32>> M for T {}
   |           ^^^^^^^^^^^^   -     -
   |           |
   |           unsatisfied trait bound introduced here

error: aborting due to previous error

For more information about this error, try `rustc --explain E0599`.