From a313ffb8844d51f6048be35b1b0ea39e7dfc48c7 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Mon, 12 Feb 2024 14:52:20 +0100
Subject: [PATCH] add another test for promoteds-in-static

---
 .../static-promoted-to-mutable-static.rs      | 33 +++++++++++++++++++
 1 file changed, 33 insertions(+)
 create mode 100644 tests/ui/consts/static-promoted-to-mutable-static.rs

diff --git a/tests/ui/consts/static-promoted-to-mutable-static.rs b/tests/ui/consts/static-promoted-to-mutable-static.rs
new file mode 100644
index 0000000000000..d49ba478dbc82
--- /dev/null
+++ b/tests/ui/consts/static-promoted-to-mutable-static.rs
@@ -0,0 +1,33 @@
+// check-pass
+#![allow(non_camel_case_types, non_upper_case_globals, static_mut_ref)]
+
+pub struct wl_interface {
+    pub version: i32
+}
+
+pub struct Interface {
+    pub other_interfaces: &'static [&'static Interface],
+    pub c_ptr: Option<&'static wl_interface>,
+}
+
+pub static mut wl_callback_interface: wl_interface = wl_interface {
+    version: 0,
+};
+
+pub static WL_CALLBACK_INTERFACE: Interface = Interface {
+    other_interfaces: &[],
+    c_ptr: Some(unsafe { &wl_callback_interface }),
+};
+
+// This static contains a promoted that points to a static that points to a mutable static.
+pub static WL_SURFACE_INTERFACE: Interface = Interface {
+    other_interfaces: &[&WL_CALLBACK_INTERFACE],
+    c_ptr: None,
+};
+
+// And another variant of the same thing, this time with interior mutability.
+use std::sync::OnceLock;
+static LAZY_INIT: OnceLock<u32> = OnceLock::new();
+static LAZY_INIT_REF: &[&OnceLock<u32>] = &[&LAZY_INIT];
+
+fn main() {}