diff options
Diffstat (limited to 'tests/mir-opt/ssa_unreachable_116212.rs')
-rw-r--r-- | tests/mir-opt/ssa_unreachable_116212.rs | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/tests/mir-opt/ssa_unreachable_116212.rs b/tests/mir-opt/ssa_unreachable_116212.rs new file mode 100644 index 000000000..f58866587 --- /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() }; +} |