Co-authored-by: bjorn3 <bjorn3@users.noreply.github.com>
// Make sure we find these even with many checks disabled.
// compile-flags: -Zmiri-disable-alignment-check -Zmiri-disable-stacked-borrows -Zmiri-disable-validation
// Make sure we find these even with many checks disabled.
// compile-flags: -Zmiri-disable-alignment-check -Zmiri-disable-stacked-borrows -Zmiri-disable-validation
fn dont_optimize<T>(x: T) -> T { x }
fn main() {
fn dont_optimize<T>(x: T) -> T { x }
fn main() {