tests/compile-fail/uninit_integer_signed.rs

   1 // compile-flags: -Zmiri-check-number-validity
   2
   3 // This test is adapted from https://github.com/rust-lang/miri/issues/1340#issue-600900312.
   4
   5 fn main() {
   6     let _val = unsafe { std::mem::MaybeUninit::<i32>::uninit().assume_init() };
   7     //~^ ERROR type validation failed at .value: encountered uninitialized bytes, but expected initialized bytes
   8 }