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:30:7
7 | method `f` not found for this struct
8 | doesn't satisfy `<S as X>::Y<i32> = i32`
9 | doesn't satisfy `S: M`
12 | ^ method cannot be called on `S` due to unsatisfied trait bounds
14 note: trait bound `<S as X>::Y<i32> = i32` was not satisfied
15 --> $DIR/method-unsatified-assoc-type-predicate.rs:14:11
17 LL | impl<T: X<Y<i32> = i32>> M for T {}
20 | unsatisfied trait bound introduced here
22 error: aborting due to previous error
24 For more information about this error, try `rustc --explain E0599`.