blob: 9aa78dfbd4acd1f165bc359ccc91c08879af83bf [file] [log] [blame]
error: lifetime may not live long enough
--> $DIR/type-check-pointer-coercions.rs:4:5
|
LL | fn shared_to_const<'a, 'b>(x: &&'a i32) -> *const &'b i32 {
| -- -- lifetime `'b` defined here
| |
| lifetime `'a` defined here
LL | x
| ^ returning this value requires that `'a` must outlive `'b`
error: lifetime may not live long enough
--> $DIR/type-check-pointer-coercions.rs:8:5
|
LL | fn unique_to_const<'a, 'b>(x: &mut &'a i32) -> *const &'b i32 {
| -- -- lifetime `'b` defined here
| |
| lifetime `'a` defined here
LL | x
| ^ returning this value requires that `'a` must outlive `'b`
error: lifetime may not live long enough
--> $DIR/type-check-pointer-coercions.rs:13:5
|
LL | fn unique_to_mut<'a, 'b>(x: &mut &'a i32) -> *mut &'b i32 {
| -- -- lifetime `'b` defined here
| |
| lifetime `'a` defined here
LL | // Two errors because *mut is invariant
LL | x
| ^ function was supposed to return data with lifetime `'a` but it is returning data with lifetime `'b`
error: lifetime may not live long enough
--> $DIR/type-check-pointer-coercions.rs:13:5
|
LL | fn unique_to_mut<'a, 'b>(x: &mut &'a i32) -> *mut &'b i32 {
| -- -- lifetime `'b` defined here
| |
| lifetime `'a` defined here
LL | // Two errors because *mut is invariant
LL | x
| ^ returning this value requires that `'a` must outlive `'b`
error: lifetime may not live long enough
--> $DIR/type-check-pointer-coercions.rs:18:5
|
LL | fn mut_to_const<'a, 'b>(x: *mut &'a i32) -> *const &'b i32 {
| -- -- lifetime `'b` defined here
| |
| lifetime `'a` defined here
LL | x
| ^ returning this value requires that `'a` must outlive `'b`
error: lifetime may not live long enough
--> $DIR/type-check-pointer-coercions.rs:24:5
|
LL | fn array_elem<'a, 'b>(x: &'a i32) -> *const &'b i32 {
| -- -- lifetime `'b` defined here
| |
| lifetime `'a` defined here
...
LL | y
| ^ returning this value requires that `'a` must outlive `'b`
error: lifetime may not live long enough
--> $DIR/type-check-pointer-coercions.rs:30:5
|
LL | fn array_coerce<'a, 'b>(x: &'a i32) -> *const [&'b i32; 3] {
| -- -- lifetime `'b` defined here
| |
| lifetime `'a` defined here
...
LL | y
| ^ returning this value requires that `'a` must outlive `'b`
error: lifetime may not live long enough
--> $DIR/type-check-pointer-coercions.rs:36:5
|
LL | fn nested_array<'a, 'b>(x: &'a i32) -> *const [&'b i32; 2] {
| -- -- lifetime `'b` defined here
| |
| lifetime `'a` defined here
...
LL | y
| ^ returning this value requires that `'a` must outlive `'b`
error: aborting due to 8 previous errors