diff options
Diffstat (limited to 'src/test/ui/uninit-empty-types.rs')
-rw-r--r-- | src/test/ui/uninit-empty-types.rs | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/src/test/ui/uninit-empty-types.rs b/src/test/ui/uninit-empty-types.rs new file mode 100644 index 000000000..b21de882b --- /dev/null +++ b/src/test/ui/uninit-empty-types.rs @@ -0,0 +1,19 @@ +// build-pass +// Test the uninit() construct returning various empty types. + +// pretty-expanded FIXME #23616 + +use std::mem::MaybeUninit; + +struct Foo; + +#[allow(deprecated)] +pub fn main() { + unsafe { + // `Foo` and `[Foo; 2]` are both zero sized and inhabited, so this is safe. + let _x: Foo = MaybeUninit::uninit().assume_init(); + let _x: [Foo; 2] = MaybeUninit::uninit().assume_init(); + let _x: Foo = std::mem::uninitialized(); + let _x: [Foo; 2] = std::mem::uninitialized(); + } +} |