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

   1 #![feature(never_type)]
   2 #![feature(const_assert_type2)]
   3 #![feature(core_intrinsics)]
   4
   5 use std::intrinsics;
   6
   7 #[allow(invalid_value)]
   8 fn main() {
   9     use std::mem::MaybeUninit;
  10
  11     const _BAD1: () = unsafe {
  12         MaybeUninit::<!>::uninit().assume_init();
  13         //~^ERROR: evaluation of constant value failed
  14     };
  15     const _BAD2: () = {
  16         intrinsics::assert_uninit_valid::<&'static i32>();
  17         //~^ERROR: evaluation of constant value failed
  18     };
  19     const _BAD3: () = {
  20         intrinsics::assert_zero_valid::<&'static i32>();
  21         //~^ERROR: evaluation of constant value failed
  22     };
  23 }