diff options
| author | Ralf Jung <post@ralfj.de> | 2024-11-28 08:38:48 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-11-28 08:38:48 +0100 |
| commit | 8e2d72bac8e29cda5b1457720dcdc66def70d9d4 (patch) | |
| tree | dd441ff27ed00a8826fbb8fd042eef1a2293b260 | |
| parent | 2039a9fac08ae8dd214826e254c3a7d300cb0360 (diff) | |
| download | rust-8e2d72bac8e29cda5b1457720dcdc66def70d9d4.tar.gz rust-8e2d72bac8e29cda5b1457720dcdc66def70d9d4.zip | |
silence clippy
| -rw-r--r-- | src/tools/miri/src/bin/miri.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tools/miri/src/bin/miri.rs b/src/tools/miri/src/bin/miri.rs index c61c62c73da..15f05ba909c 100644 --- a/src/tools/miri/src/bin/miri.rs +++ b/src/tools/miri/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 )] |