diff --git a/rust-version b/rust-version index fe5d17a963bf..8fadf6f9a3b2 100644 --- a/rust-version +++ b/rust-version @@ -1 +1 @@ -372afcf93bf60e1a9334b107cc3d72f1b0a4b1f4 +9b0edb7fddacd6a60a380c1ce59159de597ab270 diff --git a/tests/compile-fail/unaligned_pointers/reference_to_packed.rs b/tests/compile-fail/unaligned_pointers/reference_to_packed.rs index 6fa952118535..b376859d22c1 100644 --- a/tests/compile-fail/unaligned_pointers/reference_to_packed.rs +++ b/tests/compile-fail/unaligned_pointers/reference_to_packed.rs @@ -1,7 +1,7 @@ // This should fail even without validation/SB // compile-flags: -Zmiri-disable-validation -Zmiri-disable-stacked-borrows -#![allow(dead_code, unused_variables)] +#![allow(dead_code, unused_variables, unaligned_references)] #[repr(packed)] struct Foo { @@ -15,7 +15,7 @@ fn main() { x: 42, y: 99, }; - let p = unsafe { &foo.x }; + let p = &foo.x; let i = *p; //~ERROR alignment 4 is required } }