cleaned up some tests

1 files changed, 18 insertions, 0 deletions

diff --git a/tests/ui/allocator/empty-alloc-nonnull-guarantee.rs b/tests/ui/allocator/empty-alloc-nonnull-guarantee.rs
new file mode 100644
index 00000000000..f4081306c77
--- /dev/null
+++ b/tests/ui/allocator/empty-alloc-nonnull-guarantee.rs
@@ -0,0 +1,18 @@
+//! Check that the default global Rust allocator produces non-null Box allocations for ZSTs.
+//!
+//! See https://github.com/rust-lang/rust/issues/11998
+
+//@ run-pass
+
+pub fn main() {
+    assert!(Some(Box::new(())).is_some());
+
+    let xs: Box<[()]> = Box::<[(); 0]>::new([]);
+    assert!(Some(xs).is_some());
+
+    struct Foo;
+    assert!(Some(Box::new(Foo)).is_some());
+
+    let ys: Box<[Foo]> = Box::<[Foo; 0]>::new([]);
+    assert!(Some(ys).is_some());
+}