silence clippy

RalfJung · RalfJung · commit 17b240e04f8d · 2025-07-10T08:33:05.000+02:00
diff --git 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
             ()

Original file line number	Diff line number	Diff line change
`@@ -1832,6 +1832,7 @@ impl<'tcx> Machine<'tcx> for MiriMachine<'tcx> {`
`1832`	`1832`	`span().entered()`
`1833`	`1833`	`}`
`1834`	`1834`	`#[cfg(not(feature = "tracing"))]`
	`1835`	`+ #[expect(clippy::unused_unit)]`
`1835`	`1836`	`{`
`1836`	`1837`	`let _ = span; // so we avoid the "unused variable" warning`
`1837`	`1838`	`()`