src/tools/miri/tests/fail/static_memory_modification3.rs

   1 // Stacked Borrows detects that we are casting & to &mut and so it changes why we fail
   2 //@compile-flags: -Zmiri-disable-stacked-borrows
   3
   4 use std::mem::transmute;
   5
   6 #[allow(mutable_transmutes)]
   7 fn main() {
   8     unsafe {
   9         let bs = b"this is a test";
  10         transmute::<&[u8], &mut [u8]>(bs)[4] = 42; //~ ERROR: read-only
  11     }
  12 }