1 // error-pattern: any use of this value will cause an error
3 #![feature(never_type)]
4 #![feature(const_maybe_uninit_assume_init)]
6 #[allow(invalid_value)]
8 use std::mem::MaybeUninit;
10 const _BAD: () = unsafe {
11 MaybeUninit::<!>::uninit().assume_init();