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

   1 warning: not reporting region error due to nll
   2   --> $DIR/ex2a-push-one-existing-name.rs:16:12
   3    |
   4 LL |     x.push(y); //~ ERROR explicit lifetime
   5    |            ^
   6
   7 error[E0621]: explicit lifetime required in the type of `y`
   8   --> $DIR/ex2a-push-one-existing-name.rs:16:5
   9    |
  10 LL | fn foo<'a>(x: &mut Vec<Ref<'a, i32>>, y: Ref<i32>) {
  11    |                                          -------- help: add explicit lifetime `'a` to the type of `y`: `Ref<'a, i32>`
  12 LL |     x.push(y); //~ ERROR explicit lifetime
  13    |     ^^^^^^^^^ lifetime `'a` required
  14
  15 error: aborting due to previous error
  16
  17 For more information about this error, try `rustc --explain E0621`.