tests/mir-opt/ssa_unreachable_116212.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

// skip-filecheck
// 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() };
}