summaryrefslogtreecommitdiffstats
path: root/src/test/ui/consts/assert-type-intrinsics.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/consts/assert-type-intrinsics.rs')
-rw-r--r--src/test/ui/consts/assert-type-intrinsics.rs23
1 files changed, 0 insertions, 23 deletions
diff --git a/src/test/ui/consts/assert-type-intrinsics.rs b/src/test/ui/consts/assert-type-intrinsics.rs
deleted file mode 100644
index 263d1ae6a..000000000
--- a/src/test/ui/consts/assert-type-intrinsics.rs
+++ /dev/null
@@ -1,23 +0,0 @@
-#![feature(never_type)]
-#![feature(const_assert_type2)]
-#![feature(core_intrinsics)]
-
-use std::intrinsics;
-
-#[allow(invalid_value)]
-fn main() {
- use std::mem::MaybeUninit;
-
- const _BAD1: () = unsafe {
- MaybeUninit::<!>::uninit().assume_init();
- //~^ERROR: evaluation of constant value failed
- };
- const _BAD2: () = {
- intrinsics::assert_uninit_valid::<&'static i32>();
- //~^ERROR: evaluation of constant value failed
- };
- const _BAD3: () = {
- intrinsics::assert_zero_valid::<&'static i32>();
- //~^ERROR: evaluation of constant value failed
- };
-}