diff options
| author | Ralf Jung <post@ralfj.de> | 2025-03-02 10:01:38 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2025-03-02 10:01:38 +0100 |
| commit | c40d30eb6ee63b32927cbed250c076e5e53db1b5 (patch) | |
| tree | 6a6a189de69ea1711812435740b30636d9a00499 | |
| parent | 2cf69dae73533ebee5a310fd6f3dc4b9a8db246b (diff) | |
| download | rust-c40d30eb6ee63b32927cbed250c076e5e53db1b5.tar.gz rust-c40d30eb6ee63b32927cbed250c076e5e53db1b5.zip | |
clippy
| -rw-r--r-- | src/tools/miri/cargo-miri/src/phases.rs | 2 | ||||
| -rw-r--r-- | src/tools/miri/src/eval.rs | 1 |
2 files changed, 1 insertions, 2 deletions
diff --git a/src/tools/miri/cargo-miri/src/phases.rs b/src/tools/miri/cargo-miri/src/phases.rs index d7b4421061c..71ea07f3463 100644 --- a/src/tools/miri/cargo-miri/src/phases.rs +++ b/src/tools/miri/cargo-miri/src/phases.rs @@ -467,7 +467,7 @@ pub fn phase_rustc(mut args: impl Iterator<Item = String>, phase: RustcPhase) { if let Some(i) = val.iter().position(|&s| s == "link") { emit_link_hack = true; val.remove(i); - if !val.iter().any(|&s| s == "metadata") { + if !val.contains(&"metadata") { val.push("metadata"); } } diff --git a/src/tools/miri/src/eval.rs b/src/tools/miri/src/eval.rs index 36b15dbf623..ed13f670a90 100644 --- a/src/tools/miri/src/eval.rs +++ b/src/tools/miri/src/eval.rs @@ -434,7 +434,6 @@ pub fn create_ecx<'tcx>( /// Evaluates the entry function specified by `entry_id`. /// Returns `Some(return_code)` if program execution completed. /// Returns `None` if an evaluation error occurred. -#[expect(clippy::needless_lifetimes)] pub fn eval_entry<'tcx>( tcx: TyCtxt<'tcx>, entry_id: DefId, |
