src/tools/miri/tests/fail/stacked_borrows/illegal_write3.rs

   1 fn main() {
   2     let target = 42;
   3     // Make sure raw ptr with raw tag cannot mutate frozen location without breaking the shared ref.
   4     let r#ref = &target; // freeze
   5     let ptr = r#ref as *const _ as *mut _; // raw ptr, with raw tag
   6     unsafe { *ptr = 42 }; //~ ERROR: /write access .* only grants SharedReadOnly permission/
   7     let _val = *r#ref;
   8 }