blob: 4a981e4de604d3d026c009130642106b73e1e0b7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
error: lifetime may not live long enough
--> $DIR/ex2d-push-inference-variable-2.rs:8:5
|
LL | fn foo<'a, 'b, 'c>(x: &'a mut Vec<Ref<'b, i32>>, y: Ref<'c, i32>) {
| -- -- lifetime `'c` defined here
| |
| lifetime `'b` defined here
...
LL | a.push(b);
| ^^^^^^^^^ argument requires that `'c` must outlive `'b`
|
= help: consider adding the following bound: `'c: 'b`
error: aborting due to 1 previous error
|