2019-01-12 08:55:23 -06:00
|
|
|
error: lifetime may not live long enough
|
|
|
|
--> $DIR/regions-free-region-ordering-caller.rs:11:12
|
|
|
|
|
|
|
|
|
LL | fn call2<'a, 'b>(a: &'a usize, b: &'b usize) {
|
|
|
|
| -- -- lifetime `'b` defined here
|
|
|
|
| |
|
|
|
|
| lifetime `'a` defined here
|
2019-03-17 04:52:07 -05:00
|
|
|
LL | let z: Option<&'b &'a usize> = None;
|
2019-01-12 08:55:23 -06:00
|
|
|
| ^^^^^^^^^^^^^^^^^^^^^ type annotation requires that `'a` must outlive `'b`
|
|
|
|
|
|
|
|
error: lifetime may not live long enough
|
|
|
|
--> $DIR/regions-free-region-ordering-caller.rs:17:12
|
|
|
|
|
|
|
|
|
LL | fn call3<'a, 'b>(a: &'a usize, b: &'b usize) {
|
|
|
|
| -- -- lifetime `'b` defined here
|
|
|
|
| |
|
|
|
|
| lifetime `'a` defined here
|
|
|
|
LL | let y: Paramd<'a> = Paramd { x: a };
|
2019-03-17 04:52:07 -05:00
|
|
|
LL | let z: Option<&'b Paramd<'a>> = None;
|
2019-01-12 08:55:23 -06:00
|
|
|
| ^^^^^^^^^^^^^^^^^^^^^^ type annotation requires that `'a` must outlive `'b`
|
|
|
|
|
|
|
|
error: lifetime may not live long enough
|
|
|
|
--> $DIR/regions-free-region-ordering-caller.rs:22:12
|
|
|
|
|
|
|
|
|
LL | fn call4<'a, 'b>(a: &'a usize, b: &'b usize) {
|
|
|
|
| -- -- lifetime `'b` defined here
|
|
|
|
| |
|
|
|
|
| lifetime `'a` defined here
|
2019-03-17 04:52:07 -05:00
|
|
|
LL | let z: Option<&'a &'b usize> = None;
|
2019-01-12 08:55:23 -06:00
|
|
|
| ^^^^^^^^^^^^^^^^^^^^^ type annotation requires that `'b` must outlive `'a`
|
|
|
|
|
|
|
|
error: aborting due to 3 previous errors
|
|
|
|
|