shared_to_const<'a, 'b>(x: &&'a i32) -> *const &'b i321 fn shared_to_const<'a, 'b>(x: &&'a i32) -> *const &'b i32 {
2 x //~ ERROR
3 }
4
unique_to_const<'a, 'b>(x: &mut &'a i32) -> *const &'b i325 fn unique_to_const<'a, 'b>(x: &mut &'a i32) -> *const &'b i32 {
6 x //~ ERROR
7 }
8
unique_to_mut<'a, 'b>(x: &mut &'a i32) -> *mut &'b i329 fn unique_to_mut<'a, 'b>(x: &mut &'a i32) -> *mut &'b i32 {
10 // Two errors because *mut is invariant
11 x //~ ERROR
12 //~| ERROR
13 }
14
mut_to_const<'a, 'b>(x: *mut &'a i32) -> *const &'b i3215 fn mut_to_const<'a, 'b>(x: *mut &'a i32) -> *const &'b i32 {
16 x //~ ERROR
17 }
18
array_elem<'a, 'b>(x: &'a i32) -> *const &'b i3219 fn array_elem<'a, 'b>(x: &'a i32) -> *const &'b i32 {
20 let z = &[x; 3];
21 let y = z as *const &i32;
22 y //~ ERROR
23 }
24
array_coerce<'a, 'b>(x: &'a i32) -> *const [&'b i32; 3]25 fn array_coerce<'a, 'b>(x: &'a i32) -> *const [&'b i32; 3] {
26 let z = &[x; 3];
27 let y = z as *const [&i32; 3];
28 y //~ ERROR
29 }
30
nested_array<'a, 'b>(x: &'a i32) -> *const [&'b i32; 2]31 fn nested_array<'a, 'b>(x: &'a i32) -> *const [&'b i32; 2] {
32 let z = &[[x; 2]; 3];
33 let y = z as *const [&i32; 2];
34 y //~ ERROR
35 }
36
main()37 fn main() {}
38