From 1b3d974c767e4f708298b7cd7740262073d00855 Mon Sep 17 00:00:00 2001 From: Guillaume Gomez Date: Wed, 12 Nov 2025 12:00:38 +0100 Subject: [PATCH] Remove unneeded `allow(unknown_attribute)` attributes --- src/tools/miri/src/shims/native_lib/trace/parent.rs | 1 - src/tools/miri/tests/pass/backtrace/backtrace-api-v1.rs | 2 -- 2 files changed, 3 deletions(-) diff --git a/src/tools/miri/src/shims/native_lib/trace/parent.rs b/src/tools/miri/src/shims/native_lib/trace/parent.rs index f6ebbc469f737..18fb8570e556d 100644 --- a/src/tools/miri/src/shims/native_lib/trace/parent.rs +++ b/src/tools/miri/src/shims/native_lib/trace/parent.rs @@ -500,7 +500,6 @@ fn handle_segfault( capstone_disassemble(&instr, addr, cs, acc_events).expect("Failed to disassemble instruction"); // Move the instr ptr into the deprotection code. - #[allow(unknown_lints)] #[expect(clippy::as_conversions, function_casts_as_integer)] new_regs.set_ip(mempr_off as usize); // Don't mess up the stack by accident! diff --git a/src/tools/miri/tests/pass/backtrace/backtrace-api-v1.rs b/src/tools/miri/tests/pass/backtrace/backtrace-api-v1.rs index cf6f43dbbfa91..a3060abc39402 100644 --- a/src/tools/miri/tests/pass/backtrace/backtrace-api-v1.rs +++ b/src/tools/miri/tests/pass/backtrace/backtrace-api-v1.rs @@ -1,7 +1,5 @@ //@normalize-stderr-test: "::<.*>" -> "" -#![allow(function_casts_as_integer)] - #[inline(never)] fn func_a() -> Box<[*mut ()]> { func_b::()