summaryrefslogtreecommitdiffstats
path: root/src/test/ui/consts/const-eval/validate_uninhabited_zsts.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/consts/const-eval/validate_uninhabited_zsts.rs')
-rw-r--r--src/test/ui/consts/const-eval/validate_uninhabited_zsts.rs28
1 files changed, 0 insertions, 28 deletions
diff --git a/src/test/ui/consts/const-eval/validate_uninhabited_zsts.rs b/src/test/ui/consts/const-eval/validate_uninhabited_zsts.rs
deleted file mode 100644
index c0b326215..000000000
--- a/src/test/ui/consts/const-eval/validate_uninhabited_zsts.rs
+++ /dev/null
@@ -1,28 +0,0 @@
-// stderr-per-bitwidth
-
-const fn foo() -> ! {
- unsafe { std::mem::transmute(()) }
- //~^ ERROR evaluation of constant value failed
- //~| WARN the type `!` does not permit zero-initialization [invalid_value]
-}
-
-// Type defined in a submodule, so that it is not "visibly"
-// uninhabited (which would change interpreter behavior).
-pub mod empty {
- #[derive(Clone, Copy)]
- enum Void {}
-
- #[derive(Clone, Copy)]
- pub struct Empty(Void);
-}
-
-const FOO: [empty::Empty; 3] = [foo(); 3];
-
-const BAR: [empty::Empty; 3] = [unsafe { std::mem::transmute(()) }; 3];
-//~^ ERROR it is undefined behavior to use this value
-//~| WARN the type `empty::Empty` does not permit zero-initialization
-
-fn main() {
- FOO;
- BAR;
-}