1 files changed, 14 insertions, 0 deletions
diff --git a/src/test/ui/empty-allocation-non-null.rs b/src/test/ui/empty-allocation-non-null.rs
new file mode 100644
index 000000000..925bddd5e
--- /dev/null
+++ b/src/test/ui/empty-allocation-non-null.rs
@@ -0,0 +1,14 @@
+// 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());
+}