blob: a94302603a2193ea47cfcc4a84abfcd8d3dd6680 (
plain)
1
2
3
4
5
6
7
8
|
#![allow(invalid_value)]
// This test is from https://github.com/rust-lang/miri/issues/1340#issue-600900312.
fn main() {
// The array avoids a `Scalar` layout which detects uninit without even doing validation.
let _val = unsafe { std::mem::MaybeUninit::<[usize; 1]>::uninit().assume_init() };
//~^ ERROR: uninitialized
}
|
