diff options
Diffstat (limited to 'src/test/ui/lifetimes/lifetime-errors/ex2b-push-no-existing-names.stderr')
-rw-r--r-- | src/test/ui/lifetimes/lifetime-errors/ex2b-push-no-existing-names.stderr | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/test/ui/lifetimes/lifetime-errors/ex2b-push-no-existing-names.stderr b/src/test/ui/lifetimes/lifetime-errors/ex2b-push-no-existing-names.stderr new file mode 100644 index 000000000..1622ce422 --- /dev/null +++ b/src/test/ui/lifetimes/lifetime-errors/ex2b-push-no-existing-names.stderr @@ -0,0 +1,12 @@ +error: lifetime may not live long enough + --> $DIR/ex2b-push-no-existing-names.rs:6:5 + | +LL | fn foo(x: &mut Vec<Ref<i32>>, y: Ref<i32>) { + | - - has type `Ref<'1, i32>` + | | + | has type `&mut Vec<Ref<'2, i32>>` +LL | x.push(y); + | ^^^^^^^^^ argument requires that `'1` must outlive `'2` + +error: aborting due to previous error + |