diff options
| author | Ralf Jung <post@ralfj.de> | 2025-07-10 08:33:05 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2025-07-10 08:33:05 +0200 |
| commit | 17b240e04f8d14e5563b6afb2ed3b842f87d1c78 (patch) | |
| tree | 4475de7055ec501bfa7d9789536894ddafe1dc6b | |
| parent | 5e940f581008dbc9b84aa1a8672a3c0a940da7be (diff) | |
| download | rust-17b240e04f8d14e5563b6afb2ed3b842f87d1c78.tar.gz rust-17b240e04f8d14e5563b6afb2ed3b842f87d1c78.zip | |
silence clippy
| -rw-r--r-- | src/tools/miri/src/machine.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tools/miri/src/machine.rs b/src/tools/miri/src/machine.rs index 7c4d394525b..9c077e5b7b6 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 () |