src/test/ui/lifetime-errors/ex2a-push-one-existing-name-2.stderr

   1 error[E0621]: explicit lifetime required in the type of `x`
   2   --> $DIR/ex2a-push-one-existing-name-2.rs:16:12
   3    |
   4 15 | fn foo<'a>(x: Ref<i32>, y: &mut Vec<Ref<'a, i32>>) {
   5    |            - consider changing the type of `x` to `Ref<'a, i32>`
   6 16 |     y.push(x);
   7    |            ^ lifetime `'a` required
   8
   9 error: aborting due to previous error(s)
  10