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