From 17b240e04f8d14e5563b6afb2ed3b842f87d1c78 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Thu, 10 Jul 2025 08:33:05 +0200
Subject: [PATCH] silence clippy

---
 src/tools/miri/src/machine.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/tools/miri/src/machine.rs b/src/tools/miri/src/machine.rs
index 7c4d394525bd..9c077e5b7b6e 100644
--- a/src/tools/miri/src/machine.rs
+++ b/src/tools/miri/src/machine.rs
@@ -1832,6 +1832,7 @@ impl<'tcx> Machine<'tcx> for MiriMachine<'tcx> {
             span().entered()
         }
         #[cfg(not(feature = "tracing"))]
+        #[expect(clippy::unused_unit)]
         {
             let _ = span; // so we avoid the "unused variable" warning
             ()