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

   1 #![allow(invalid_value)]
   2
   3 fn main() {
   4     // The array avoids a `Scalar` layout which detects uninit without even doing validation.
   5     let _val = unsafe { std::mem::MaybeUninit::<[*const u8; 1]>::uninit().assume_init() };
   6     //~^ ERROR: uninitialized
   7 }