Unnamed repository; edit this file 'description' to name the repository.
Merge from rustc
The Miri Cronjob Bot 2024-07-24
parent 29cb173 · parent fff570a · commit f05c969
-rw-r--r--crates/stdx/src/panic_context.rs1
1 files changed, 1 insertions, 0 deletions
diff --git a/crates/stdx/src/panic_context.rs b/crates/stdx/src/panic_context.rs
index cf3d85b4da..4ec74c0742 100644
--- a/crates/stdx/src/panic_context.rs
+++ b/crates/stdx/src/panic_context.rs
@@ -21,6 +21,7 @@ impl PanicContext {
#[allow(clippy::print_stderr)]
fn init() {
let default_hook = panic::take_hook();
+ #[allow(deprecated)]
let hook = move |panic_info: &panic::PanicInfo<'_>| {
with_ctx(|ctx| {
if !ctx.is_empty() {