silence clippy

RalfJung · RalfJung · commit 195b2b57e643 · 2024-11-28T08:38:48.000+01:00
diff --git a/src/bin/miri.rs b/src/bin/miri.rs
@@ -3,6 +3,7 @@
     clippy::manual_range_contains,
     clippy::useless_format,
     clippy::field_reassign_with_default,
+    clippy::needless_lifetimes,
     rustc::diagnostic_outside_of_impl,
     rustc::untranslatable_diagnostic
 )]
