tests/compile-fail/validity/transmute_through_ptr.rs

   1 #[repr(u32)]
   2 enum Bool { True }
   3
   4 fn evil(x: &mut Bool) {
   5     let x = x as *mut _ as *mut u32;
   6     unsafe { *x = 44; } // out-of-bounds enum discriminant
   7 }
   8
   9 fn main() {
  10     let mut x = Bool::True;
  11     evil(&mut x);
  12     let _y = x; // reading this ought to be enough to trigger validation
  13     //~^ ERROR encountered 0x0000002c, but expected a valid enum discriminant
  14 }