1 warning: not reporting region error due to nll
2 --> $DIR/ex3-both-anon-regions-both-are-structs.rs:15:12
4 LL | x.push(y); //~ ERROR lifetime mismatch
7 error[E0623]: lifetime mismatch
8 --> $DIR/ex3-both-anon-regions-both-are-structs.rs:15:5
10 LL | fn foo(mut x: Vec<Ref>, y: Ref) {
11 | --- --- these two types are declared with different lifetimes...
12 LL | x.push(y); //~ ERROR lifetime mismatch
13 | ^^^^^^^^^ ...but data from `y` flows into `x` here
15 error: aborting due to previous error
17 For more information about this error, try `rustc --explain E0623`.