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


1
2
3
4
5
6
7

#![allow(invalid_value)]

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