// Ensure that we cannot move out of a fixed-size array (especially | |
// when the element type has a destructor). | |
struct D { _x: u8 } | |
impl Drop for D { fn drop(&mut self) { } } | |
fn main() { | |
fn d() -> D { D { _x: 0 } } | |
let _d1 = foo([d(), d(), d(), d()], 1); | |
let _d3 = foo([d(), d(), d(), d()], 3); | |
} | |
fn foo(a: [D; 4], i: usize) -> D { | |
a[i] //~ ERROR cannot move out of type `[D; 4]`, a non-copy array | |
} |