1 // This should fail even without validation/SB
2 //@compile-flags: -Zmiri-disable-validation -Zmiri-disable-stacked-borrows
4 #![allow(dead_code, unused_variables, unaligned_references)]
13 // Try many times as this might work by chance.
15 let foo = Foo { x: 42, y: 99 };
17 let i = *p; //~ERROR: alignment 4 is required