non-copyable-void.rs

fn main() {
    let x : *[int] = ptr::addr_of([1,2,3]);
    let y : *libc::c_void = x as *libc::c_void;
    unsafe {
        let _z = *y;
        //!^ ERROR copying a noncopyable value
    }
}