[rustc.git] / src / test / ui / lifetime-errors / ex2d-push-inference-variable-2.stderr

error[E0623]: lifetime mismatch
  --> $DIR/ex2d-push-inference-variable-2.rs:16:33
   |
LL | fn foo<'a, 'b, 'c>(x: &'a mut Vec<Ref<'b, i32>>, y: Ref<'c, i32>) {
   |                                   ------------      ------------ these two types are declared with different lifetimes...
LL |     let a: &mut Vec<Ref<i32>> = x; //~ ERROR lifetime mismatch
   |                                 ^ ...but data from `y` flows into `x` here

error: aborting due to previous error

For more information about this error, try `rustc --explain E0623`.
Commit	Line	Data
abe05a73	1	error[E0623]: lifetime mismatch
32a655c1 SL	2	--> $DIR/ex2d-push-inference-variable-2.rs:16:33
32a655c1 SL	3	\|
0531ce1d	4	LL \| fn foo<'a, 'b, 'c>(x: &'a mut Vec<Ref<'b, i32>>, y: Ref<'c, i32>) {
abe05a73	5	\| ------------ ------------ these two types are declared with different lifetimes...
0531ce1d	6	LL \| let a: &mut Vec<Ref<i32>> = x; //~ ERROR lifetime mismatch
abe05a73	7	\| ^ ...but data from `y` flows into `x` here
32a655c1	8
041b39d2	9	error: aborting due to previous error
32a655c1	10
0531ce1d	11	For more information about this error, try `rustc --explain E0623`.