blob: 343f00ff291816ae46ca253a1a4237a7439458fe [file] [log] [blame]
// Ensure that we cannot move out of a reference to a fixed-size array
struct D { _x: u8 }
impl Drop for D { fn drop(&mut self) { } }
fn move_elem(a: &[D; 4]) -> D {
let [_, e, _, _] = *a; //~ ERROR cannot move
e
}
fn move_subarr(a: &[D; 4]) -> [D; 2] {
let [_, s @ .. , _] = *a; //~ ERROR cannot move
s
}
fn move_elem_mut(a: &mut [D; 4]) -> D {
let [_, e, _, _] = *a; //~ ERROR cannot move
e
}
fn move_subarr_mut(a: &mut [D; 4]) -> [D; 2] {
let [_, s @ .. , _] = *a; //~ ERROR cannot move
s
}
fn main() {
fn d() -> D { D { _x: 0 } }
move_elem(&[d(), d(), d(), d()]);
move_subarr(&[d(), d(), d(), d()]);
move_elem_mut(&mut [d(), d(), d(), d()]);
move_subarr_mut(&mut [d(), d(), d(), d()]);
}