1 #![feature(never_type)]
2 #![feature(const_assert_type2)]
3 #![feature(core_intrinsics)]
7 #[allow(invalid_value)]
9 use std::mem::MaybeUninit;
11 const _BAD1: () = unsafe {
12 MaybeUninit::<!>::uninit().assume_init();
13 //~^ERROR: evaluation of constant value failed
16 intrinsics::assert_mem_uninitialized_valid::<&'static i32>();
17 //~^ERROR: evaluation of constant value failed
20 intrinsics::assert_zero_valid::<&'static i32>();
21 //~^ERROR: evaluation of constant value failed