1 // compile-flags: -Zunleash-the-miri-inside-of-you
3 #![feature(const_raw_ptr_deref)]
6 use std::cell::UnsafeCell;
8 // make sure we do not just intern this as mutable
9 const MUTABLE_BEHIND_RAW: *mut i32 = &UnsafeCell::new(42) as *const _ as *mut _;
10 //~^ WARN: skipping const checks
12 const MUTATING_BEHIND_RAW: () = {
13 // Test that `MUTABLE_BEHIND_RAW` is actually immutable, by doing this at const time.
15 *MUTABLE_BEHIND_RAW = 99 //~ WARN skipping const checks
16 //~^ ERROR any use of this value will cause an error
17 //~^^ tried to modify constant memory