1 error[E0495]: cannot infer an appropriate lifetime for lifetime parameter `'a` due to conflicting requirements
2 --> $DIR/ex2c-push-inference-variable.rs:16:13
4 16 | let z = Ref { data: y.data };
7 note: first, the lifetime cannot outlive the lifetime 'c as defined on the body at 15:66...
8 --> $DIR/ex2c-push-inference-variable.rs:15:67
10 15 | fn foo<'a, 'b, 'c>(x: &'a mut Vec<Ref<'b, i32>>, y: Ref<'c, i32>) {
11 | ___________________________________________________________________^ starting here...
12 16 | | let z = Ref { data: y.data };
16 note: ...so that reference does not outlive borrowed content
17 --> $DIR/ex2c-push-inference-variable.rs:16:25
19 16 | let z = Ref { data: y.data };
21 note: but, the lifetime must be valid for the lifetime 'b as defined on the body at 15:66...
22 --> $DIR/ex2c-push-inference-variable.rs:15:67
24 15 | fn foo<'a, 'b, 'c>(x: &'a mut Vec<Ref<'b, i32>>, y: Ref<'c, i32>) {
25 | ___________________________________________________________________^ starting here...
26 16 | | let z = Ref { data: y.data };
30 note: ...so that expression is assignable (expected Ref<'b, _>, found Ref<'_, _>)
31 --> $DIR/ex2c-push-inference-variable.rs:17:12
36 error: aborting due to previous error