2023-10-16 17:36:39 +00:00
|
|
|
// skip-filecheck
|
2023-09-28 17:05:52 +00:00
|
|
|
// 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() };
|
|
|
|
|
}
|
