src/tools/miri/tests/compile-fail/validation_aliasing_mut3.rs

   1 #![allow(unused_variables)]
   2
   3 mod safe {
   4     pub fn safe(x: &mut i32, y: &i32) {} //~ ERROR: in conflict with lock WriteLock
   5 }
   6
   7 fn main() {
   8     let x = &mut 0 as *mut _;
   9     unsafe { safe::safe(&mut *x, &*x) };
  10 }