[rustc.git] / src / test / ui / generic-associated-types / method-unsatified-assoc-type-predicate.stderr

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`.
Commit	Line	Data
6a06907d	1	error[E0599]: the method `f` exists for struct `S`, but its trait bounds were not satisfied
f2b60f7d	2	--> $DIR/method-unsatified-assoc-type-predicate.rs:28:7
6a06907d XL	3	\|
6a06907d XL	4	LL \| struct S;
064997fb	5	\| --------
6a06907d	6	\| \|
064997fb	7	\| method `f` not found for this struct
6a06907d XL	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	\|
5e7ed085	14	note: trait bound `<S as X>::Y<i32> = i32` was not satisfied
f2b60f7d	15	--> $DIR/method-unsatified-assoc-type-predicate.rs:12:11
3c0e092e XL	16	\|
3c0e092e XL	17	LL \| impl<T: X<Y<i32> = i32>> M for T {}
5e7ed085 FG	18	\| ^^^^^^^^^^^^ - -
	19	\| \|
	20	\| unsatisfied trait bound introduced here
6a06907d	21
136023e0	22	error: aborting due to previous error
6a06907d XL	23
6a06907d XL	24	For more information about this error, try `rustc --explain E0599`.