src/test/ui/consts/assume-type-intrinsics.rs

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