]>
git.proxmox.com Git - rustc.git/blob - src/test/ui/consts/assert-type-intrinsics.rs
1 // error-pattern: any use of this value will cause an error
3 #![feature(never_type)]
4 #![feature(const_assert_type2)]
5 #![feature(core_intrinsics)]
9 #[allow(invalid_value)]
11 use std
::mem
::MaybeUninit
;
13 const _BAD1
: () = unsafe {
14 MaybeUninit
::<!>::uninit().assume_init();
16 const _BAD2
: () = unsafe {
17 intrinsics
::assert_uninit_valid
::<bool
>();
19 const _BAD3
: () = unsafe {
20 intrinsics
::assert_zero_valid
::<&'
static i32>();