From 389c3ce0f762bf4d6713ce6eb2b0f66945115065 Mon Sep 17 00:00:00 2001
From: bjorn3 <17426603+bjorn3@users.noreply.github.com>
Date: Thu, 30 Oct 2025 15:04:49 +0000
Subject: [PATCH] Remove no longer necessary lint allow

---
 library/panic_unwind/src/lib.rs | 2 --
 1 file changed, 2 deletions(-)

diff --git a/library/panic_unwind/src/lib.rs b/library/panic_unwind/src/lib.rs
index 83311f3238012..1be19913f260f 100644
--- a/library/panic_unwind/src/lib.rs
+++ b/library/panic_unwind/src/lib.rs
@@ -24,8 +24,6 @@
 #![feature(rustc_attrs)]
 #![panic_runtime]
 #![feature(panic_runtime)]
-// `real_imp` is unused with Miri, so silence warnings.
-#![cfg_attr(miri, allow(dead_code))]
 #![allow(internal_features)]
 #![warn(unreachable_pub)]
 #![deny(unsafe_op_in_unsafe_fn)]