Add test for 116212.

2023-09-28 17:05:52 +00:00 · 2023-09-28 17:05:52 +00:00 · 255ca18454
commit 255ca18454
parent dd91aba2fd
1 changed files with 14 additions and 0 deletions
--- a/tests/mir-opt/ssa_unreachable_116212.rs
+++ b/tests/mir-opt/ssa_unreachable_116212.rs
@ -0,0 +1,14 @@
+// Regression test for issue #116212.
+
+#![feature(never_type)]
+
+use std::mem::MaybeUninit;
+
+struct Foo {
+    x: u8,
+    y: !,
+}
+
+fn main() {
+    let foo = unsafe { MaybeUninit::<Foo>::uninit().assume_init() };
+}