1 #![deny(unaligned_references)]
20 let good = Good { data: 0, ptr: &0, data2: [0, 0], aligned: [0; 32] };
22 let _ = &good.ptr; //~ ERROR reference to packed field
23 //~^ previously accepted
24 let _ = &good.data; //~ ERROR reference to packed field
25 //~^ previously accepted
26 // Error even when turned into raw pointer immediately.
27 let _ = &good.data as *const _; //~ ERROR reference to packed field
28 //~^ previously accepted
29 let _: *const _ = &good.data; //~ ERROR reference to packed field
30 //~^ previously accepted
31 // Error on method call.
32 let _ = good.data.clone(); //~ ERROR reference to packed field
33 //~^ previously accepted
34 // Error for nested fields.
35 let _ = &good.data2[0]; //~ ERROR reference to packed field
36 //~^ previously accepted
38 let _ = &*good.ptr; // ok, behind a pointer
39 let _ = &good.aligned; // ok, has align 1
40 let _ = &good.aligned[2]; // ok, has align 1
44 let packed2 = Packed2 { x: 0, y: 0, z: 0 };
45 let _ = &packed2.x; //~ ERROR reference to packed field
46 //~^ previously accepted
47 let _ = &packed2.y; // ok, has align 2 in packed(2) struct
48 let _ = &packed2.z; // ok, has align 1
56 println!("{:p}", self);
62 impl Drop for HasDrop {
78 // An outer struct with more restrictive packing than the inner struct -- make sure we
81 struct Misalign<T>(u8, T);
90 let _ref = &m1.1.a; //~ ERROR reference to packed field
91 //~^ previously accepted
100 let _ref = &m2.1.a; //~ ERROR reference to packed field
101 //~^ previously accepted