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

   1 fn foo(x: &mut i32) -> i32 {
   2     *x = 5;
   3     unknown_code(&*x);
   4     *x // must return 5
   5 }
   6
   7 fn main() {
   8     println!("{}", foo(&mut 0));
   9 }
  10
  11 fn unknown_code(x: &i32) {
  12     unsafe {
  13         *(x as *const i32 as *mut i32) = 7; //~ ERROR: /write access .* only grants SharedReadOnly permission/
  14     }
  15 }