blob: 614034794bd6094873e682f5c4b83ad617efdb15 [file] [log] [blame]
warning: not reporting region error due to nll
--> $DIR/ex2b-push-no-existing-names.rs:16:12
|
LL | x.push(y); //~ ERROR lifetime mismatch
| ^
error: unsatisfied lifetime constraints
--> $DIR/ex2b-push-no-existing-names.rs:16:5
|
LL | fn foo(x: &mut Vec<Ref<i32>>, y: Ref<i32>) {
| -------- -------- lifetime `'1` appears in this type
| |
| lifetime `'2` appears in this type
LL | x.push(y); //~ ERROR lifetime mismatch
| ^^^^^^^^^ argument requires that `'1` must outlive `'2`
error: aborting due to previous error