src/tools/miri/tests/fail/validity/invalid_wide_raw.rs

   1 #![allow(invalid_value)]
   2
   3 fn main() {
   4     trait T {}
   5     #[derive(Debug)]
   6     struct S {
   7         #[allow(dead_code)]
   8         x: *mut dyn T,
   9     }
  10     dbg!(S { x: unsafe { std::mem::transmute((0usize, 0usize)) } }); //~ ERROR: encountered null pointer, but expected a vtable pointer
  11 }