src/test/ui/consts/assert-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, const_assert_type2)]
   5 #![feature(core_intrinsics)]
   6
   7 use std::intrinsics;
   8
   9 #[allow(invalid_value)]
  10 fn main() {
  11     use std::mem::MaybeUninit;
  12
  13     const _BAD1: () = unsafe {
  14         MaybeUninit::<!>::uninit().assume_init();
  15     };
  16     const _BAD2: () = unsafe {
  17         intrinsics::assert_uninit_valid::<bool>();
  18     };
  19     const _BAD3: () = unsafe {
  20         intrinsics::assert_zero_valid::<&'static i32>();
  21     };
  22 }