[rustc.git] / src / test / ui / associated-types / higher-ranked-projection.bad.stderr

error[E0271]: type mismatch resolving `for<'a> <&'a _ as Mirror>::Image == _`
  --> $DIR/higher-ranked-projection.rs:25:5
   |
LL | fn foo<U, T>(_t: T)
   |    --- required by a bound in this
LL |     where for<'a> &'a T: Mirror<Image=U>
   |                                 ------- required by this bound in `foo`
...
LL |     foo(());
   |     ^^^ expected bound lifetime parameter 'a, found concrete lifetime

error: aborting due to previous error

For more information about this error, try `rustc --explain E0271`.
Commit	Line	Data
b7449926	1	error[E0271]: type mismatch resolving `for<'a> <&'a _ as Mirror>::Image == _`
0731742a	2	--> $DIR/higher-ranked-projection.rs:25:5
b7449926	3	\|
e1599b0c	4	LL \| fn foo<U, T>(_t: T)
ba9703b0	5	\| --- required by a bound in this
e1599b0c XL	6	LL \| where for<'a> &'a T: Mirror<Image=U>
	7	\| ------- required by this bound in `foo`
	8	...
b7449926 XL	9	LL \| foo(());
b7449926 XL	10	\| ^^^ expected bound lifetime parameter 'a, found concrete lifetime
b7449926 XL	11
	12	error: aborting due to previous error
	13
	14	For more information about this error, try `rustc --explain E0271`.