From 255ca184541d9f411cadfc3306ef4f6435ac4eb9 Mon Sep 17 00:00:00 2001
From: Camille GILLOT <gillot.camille@gmail.com>
Date: Thu, 28 Sep 2023 17:05:52 +0000
Subject: [PATCH] Add test for 116212.

---
 tests/mir-opt/ssa_unreachable_116212.rs | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 tests/mir-opt/ssa_unreachable_116212.rs

diff --git a/tests/mir-opt/ssa_unreachable_116212.rs b/tests/mir-opt/ssa_unreachable_116212.rs
new file mode 100644
index 00000000000..f588665876c
--- /dev/null
+++ 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() };
+}