Skip to content

Commit

Permalink
Bless miri tests
Browse files Browse the repository at this point in the history
  • Loading branch information
oli-obk committed Feb 14, 2024
1 parent 1f9b9ce commit 2cdd83a
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,6 @@ static X: usize = 5;
#[allow(mutable_transmutes)]
fn main() {
let _x = unsafe {
std::mem::transmute::<&usize, &mut usize>(&X) //~ ERROR: writing to alloc1 which is read-only
std::mem::transmute::<&usize, &mut usize>(&X) //~ ERROR: writing to alloc2 which is read-only
};
}

0 comments on commit 2cdd83a

Please sign in to comment.