diff --git a/src/librustc_mir/interpret/memory.rs b/src/librustc_mir/interpret/memory.rs
index 6fe490c6efc8f..28fc02caedab5 100644
--- a/src/librustc_mir/interpret/memory.rs
+++ b/src/librustc_mir/interpret/memory.rs
@@ -732,6 +732,11 @@ where
             if self.alloc_map.contains_key(&alloc) {
                 // Not yet interned, so proceed recursively
                 self.intern_static(alloc, mutability)?;
+            } else if self.dead_alloc_map.contains_key(&alloc) {
+                // dangling pointer
+                return err!(ValidationFailure(
+                    "encountered dangling pointer in final constant".into(),
+                ))
             }
         }
         Ok(())
diff --git a/src/test/ui/consts/dangling-alloc-id-ice-2.nll.stderr b/src/test/ui/consts/dangling-alloc-id-ice-2.nll.stderr
new file mode 100644
index 0000000000000..e6ae57796055f
--- /dev/null
+++ b/src/test/ui/consts/dangling-alloc-id-ice-2.nll.stderr
@@ -0,0 +1,30 @@
+warning[E0716]: temporary value dropped while borrowed
+  --> $DIR/dangling-alloc-id-ice-2.rs:5:28
+   |
+LL |    static MAP: Slice = Slice(&[
+   |   ___________________________-^
+   |  |___________________________|
+   | ||
+LL | ||     b"CloseEvent" as &'static [u8],
+LL | || ]);
+   | || -- temporary value is freed at the end of this statement
+   | ||_|
+   | |__creates a temporary which is freed while still in use
+   |    cast requires that borrow lasts for `'static`
+   |
+   = warning: This error has been downgraded to a warning for backwards compatibility with previous releases.
+           It represents potential unsoundness in your code.
+           This warning will become a hard error in the future.
+
+error[E0080]: could not evaluate static initializer
+  --> $DIR/dangling-alloc-id-ice-2.rs:5:1
+   |
+LL | / static MAP: Slice = Slice(&[
+LL | |     b"CloseEvent" as &'static [u8],
+LL | | ]);
+   | |___^ type validation failed: encountered dangling pointer in final constant
+
+error: aborting due to previous error
+
+Some errors occurred: E0080, E0716.
+For more information about an error, try `rustc --explain E0080`.
diff --git a/src/test/ui/consts/dangling-alloc-id-ice-2.rs b/src/test/ui/consts/dangling-alloc-id-ice-2.rs
new file mode 100644
index 0000000000000..b4691641fc98f
--- /dev/null
+++ b/src/test/ui/consts/dangling-alloc-id-ice-2.rs
@@ -0,0 +1,10 @@
+// FIXME(#55223) this is just a reproduction test showing the wrong behavior
+
+struct Slice(&'static [&'static [u8]]);
+
+static MAP: Slice = Slice(&[
+    b"CloseEvent" as &'static [u8],
+]);
+
+
+fn main() {}
diff --git a/src/test/ui/consts/dangling-alloc-id-ice-2.stderr b/src/test/ui/consts/dangling-alloc-id-ice-2.stderr
new file mode 100644
index 0000000000000..42df542f55cf5
--- /dev/null
+++ b/src/test/ui/consts/dangling-alloc-id-ice-2.stderr
@@ -0,0 +1,11 @@
+error[E0080]: could not evaluate static initializer
+  --> $DIR/dangling-alloc-id-ice-2.rs:5:1
+   |
+LL | / static MAP: Slice = Slice(&[
+LL | |     b"CloseEvent" as &'static [u8],
+LL | | ]);
+   | |___^ type validation failed: encountered dangling pointer in final constant
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0080`.
diff --git a/src/test/ui/consts/dangling-alloc-id-ice.rs b/src/test/ui/consts/dangling-alloc-id-ice.rs
new file mode 100644
index 0000000000000..31fa23ae23221
--- /dev/null
+++ b/src/test/ui/consts/dangling-alloc-id-ice.rs
@@ -0,0 +1,15 @@
+// https://github.com/rust-lang/rust/issues/55223
+
+#![feature(const_let)]
+
+union Foo<'a> {
+    y: &'a (),
+    long_live_the_unit: &'static (),
+}
+
+const FOO: &() = { //~ ERROR this constant cannot be used
+    let y = ();
+    unsafe { Foo { y: &y }.long_live_the_unit }
+};
+
+fn main() {}
diff --git a/src/test/ui/consts/dangling-alloc-id-ice.stderr b/src/test/ui/consts/dangling-alloc-id-ice.stderr
new file mode 100644
index 0000000000000..df623f943addc
--- /dev/null
+++ b/src/test/ui/consts/dangling-alloc-id-ice.stderr
@@ -0,0 +1,13 @@
+error: this constant cannot be used
+  --> $DIR/dangling-alloc-id-ice.rs:10:1
+   |
+LL | / const FOO: &() = { //~ ERROR this constant cannot be used
+LL | |     let y = ();
+LL | |     unsafe { Foo { y: &y }.long_live_the_unit }
+LL | | };
+   | |__^ type validation failed: encountered dangling pointer in final constant
+   |
+   = note: #[deny(const_err)] on by default
+
+error: aborting due to previous error
+