moved tests

1 files changed, 18 insertions, 0 deletions

diff --git a/tests/ui/unsafe/maybe-uninit-zero-sized-types.rs b/tests/ui/unsafe/maybe-uninit-zero-sized-types.rs
new file mode 100644
index 00000000000..82474d873b7
--- /dev/null
+++ b/tests/ui/unsafe/maybe-uninit-zero-sized-types.rs
@@ -0,0 +1,18 @@
+//@ build-pass
+// Test the uninit() construct returning various empty types.
+
+
+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();
+    }
+}