blob: 5317a61671945b8ebffac9abb0cd73512b068cd9 [file] [log] [blame]
#[repr(packed)]
pub struct Good {
data: &'static u32,
data2: [&'static u32; 2],
aligned: [u8; 32],
}
#[deny(unaligned_references)]
fn main() {
let good = Good {
data: &0,
data2: [&0, &0],
aligned: [0; 32]
};
let _ = &good.data; //~ ERROR reference to packed field
//~| hard error
let _ = &good.data2[0]; //~ ERROR reference to packed field
//~| hard error
let _ = &good.data; //~ ERROR reference to packed field
//~| hard error
let _ = &good.data2[0]; //~ ERROR reference to packed field
//~| hard error
let _ = &*good.data; // ok, behind a pointer
let _ = &good.aligned; // ok, has align 1
let _ = &good.aligned[2]; // ok, has align 1
}