summaryrefslogtreecommitdiffstats
path: root/src/test/ui/consts/issue-69191-ice-on-uninhabited-enum-field.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/consts/issue-69191-ice-on-uninhabited-enum-field.rs')
-rw-r--r--src/test/ui/consts/issue-69191-ice-on-uninhabited-enum-field.rs91
1 files changed, 0 insertions, 91 deletions
diff --git a/src/test/ui/consts/issue-69191-ice-on-uninhabited-enum-field.rs b/src/test/ui/consts/issue-69191-ice-on-uninhabited-enum-field.rs
deleted file mode 100644
index 5b7c7be42..000000000
--- a/src/test/ui/consts/issue-69191-ice-on-uninhabited-enum-field.rs
+++ /dev/null
@@ -1,91 +0,0 @@
-// build-pass
-//
-// (this is deliberately *not* check-pass; I have confirmed that the bug in
-// question does not replicate when one uses `cargo check` alone.)
-
-pub enum Void {}
-
-enum UninhabitedUnivariant {
- _Variant(Void),
-}
-
-enum UninhabitedMultivariant2 {
- _Variant(Void),
- _Warriont(Void),
-}
-
-enum UninhabitedMultivariant3 {
- _Variant(Void),
- _Warriont(Void),
- _Worrynot(Void),
-}
-
-#[repr(C)]
-enum UninhabitedUnivariantC {
- _Variant(Void),
-}
-
-#[repr(i32)]
-enum UninhabitedUnivariant32 {
- _Variant(Void),
-}
-
-fn main() {
- let _seed: UninhabitedUnivariant = None.unwrap();
- match _seed {
- UninhabitedUnivariant::_Variant(_x) => {}
- }
-
- let _seed: UninhabitedMultivariant2 = None.unwrap();
- match _seed {
- UninhabitedMultivariant2::_Variant(_x) => {}
- UninhabitedMultivariant2::_Warriont(_x) => {}
- }
-
- let _seed: UninhabitedMultivariant2 = None.unwrap();
- match _seed {
- UninhabitedMultivariant2::_Variant(_x) => {}
- _ => {}
- }
-
- let _seed: UninhabitedMultivariant2 = None.unwrap();
- match _seed {
- UninhabitedMultivariant2::_Warriont(_x) => {}
- _ => {}
- }
-
- let _seed: UninhabitedMultivariant3 = None.unwrap();
- match _seed {
- UninhabitedMultivariant3::_Variant(_x) => {}
- UninhabitedMultivariant3::_Warriont(_x) => {}
- UninhabitedMultivariant3::_Worrynot(_x) => {}
- }
-
- let _seed: UninhabitedMultivariant3 = None.unwrap();
- match _seed {
- UninhabitedMultivariant3::_Variant(_x) => {}
- _ => {}
- }
-
- let _seed: UninhabitedMultivariant3 = None.unwrap();
- match _seed {
- UninhabitedMultivariant3::_Warriont(_x) => {}
- _ => {}
- }
-
- let _seed: UninhabitedMultivariant3 = None.unwrap();
- match _seed {
- UninhabitedMultivariant3::_Worrynot(_x) => {}
- _ => {}
- }
-
- let _seed: UninhabitedUnivariantC = None.unwrap();
- match _seed {
- UninhabitedUnivariantC::_Variant(_x) => {}
- }
-
- let _seed: UninhabitedUnivariant32 = None.unwrap();
- match _seed {
- UninhabitedUnivariant32::_Variant(_x) => {}
- }
-}