mirror of https://github.com/rust-lang/rust
38 lines
812 B
Rust
38 lines
812 B
Rust
fn shared_to_const<'a, 'b>(x: &&'a i32) -> *const &'b i32 {
|
|
x //~ ERROR
|
|
}
|
|
|
|
fn unique_to_const<'a, 'b>(x: &mut &'a i32) -> *const &'b i32 {
|
|
x //~ ERROR
|
|
}
|
|
|
|
fn unique_to_mut<'a, 'b>(x: &mut &'a i32) -> *mut &'b i32 {
|
|
// Two errors because *mut is invariant
|
|
x //~ ERROR
|
|
//~| ERROR
|
|
}
|
|
|
|
fn mut_to_const<'a, 'b>(x: *mut &'a i32) -> *const &'b i32 {
|
|
x //~ ERROR
|
|
}
|
|
|
|
fn array_elem<'a, 'b>(x: &'a i32) -> *const &'b i32 {
|
|
let z = &[x; 3];
|
|
let y = z as *const &i32;
|
|
y //~ ERROR
|
|
}
|
|
|
|
fn array_coerce<'a, 'b>(x: &'a i32) -> *const [&'b i32; 3] {
|
|
let z = &[x; 3];
|
|
let y = z as *const [&i32; 3];
|
|
y //~ ERROR
|
|
}
|
|
|
|
fn nested_array<'a, 'b>(x: &'a i32) -> *const [&'b i32; 2] {
|
|
let z = &[[x; 2]; 3];
|
|
let y = z as *const [&i32; 2];
|
|
y //~ ERROR
|
|
}
|
|
|
|
fn main() {}
|