1 error: lifetime may not live long enough
2 --> $DIR/implied-region-constraints.rs:17:56
4 LL | fn _bad_st<'a, 'b, T>(x: St<'a, 'b, T>)
5 | -- -- lifetime `'b` defined here
7 | lifetime `'a` defined here
9 LL | let _failure_proves_not_implied_outlives_region_b: &'b T = &x.f0;
10 | ^^^^^ type annotation requires that `'a` must outlive `'b`
12 = help: consider adding the following bound: `'a: 'b`
14 error: lifetime may not live long enough
15 --> $DIR/implied-region-constraints.rs:38:64
17 LL | fn _bad_en7<'a, 'b, T>(x: En7<'a, 'b, T>)
18 | -- -- lifetime `'b` defined here
20 | lifetime `'a` defined here
22 LL | let _failure_proves_not_implied_outlives_region_b: &'b T = &x;
23 | ^^^^^ type annotation requires that `'a` must outlive `'b`
25 = help: consider adding the following bound: `'a: 'b`
27 error: aborting due to 2 previous errors