src/test/ui/lifetimes/lifetime-errors/ex2b-push-no-existing-names.nll.stderr

   1 error: unsatisfied lifetime constraints
   2   --> $DIR/ex2b-push-no-existing-names.rs:16:5
   3    |
   4 LL | fn foo(x: &mut Vec<Ref<i32>>, y: Ref<i32>) {
   5    |        -                      - has type `Ref<'1, i32>`
   6    |        |
   7    |        has type `&mut std::vec::Vec<Ref<'2, i32>>`
   8 LL |     x.push(y); //~ ERROR lifetime mismatch
   9    |     ^^^^^^^^^ argument requires that `'1` must outlive `'2`
  10
  11 error: aborting due to previous error
  12