From 698f8c2f01ea549d77d7dc3338a12e04c11057b9 Mon Sep 17 00:00:00 2001
From: Daniel Baumann <daniel.baumann@progress-linux.org>
Date: Wed, 17 Apr 2024 14:02:58 +0200
Subject: Adding upstream version 1.64.0+dfsg1.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
---
 src/test/ui/consts/rvalue-static-promotion.rs | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 src/test/ui/consts/rvalue-static-promotion.rs

(limited to 'src/test/ui/consts/rvalue-static-promotion.rs')

diff --git a/src/test/ui/consts/rvalue-static-promotion.rs b/src/test/ui/consts/rvalue-static-promotion.rs
new file mode 100644
index 000000000..c48d9eae9
--- /dev/null
+++ b/src/test/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;
+}
-- 
cgit v1.2.3