1 files changed, 19 insertions, 0 deletions
diff --git a/tests/ui/consts/rvalue-static-promotion.rs b/tests/ui/consts/rvalue-static-promotion.rs
new file mode 100644
index 000000000..c48d9eae9
--- /dev/null
+++ b/tests/ui/consts/rvalue-static-promotion.rs
@@ -0,0 +1,19 @@
+// run-pass
+
+use std::cell::Cell;
+
+const NONE_CELL_STRING: Option<Cell<String>> = None;
+
+struct Foo<T>(#[allow(unused_tuple_struct_fields)] T);
+impl<T> Foo<T> {
+    const FOO: Option<Box<T>> = None;
+}
+
+fn main() {
+    let _: &'static u32 = &42;
+    let _: &'static Option<u32> = &None;
+
+    // We should be able to peek at consts and see they're None.
+    let _: &'static Option<Cell<String>> = &NONE_CELL_STRING;
+    let _: &'static Option<Box<()>> = &Foo::FOO;
+}