Auto merge of #2743 - RalfJung:path-join, r=RalfJung

simplify path joining code a bit

1 files changed, 1 insertions, 9 deletions

diff --git a/src/tools/miri/cargo-miri/src/phases.rs b/src/tools/miri/cargo-miri/src/phases.rs
index 2a469d324e8..e51bfa3798f 100644
--- a/src/tools/miri/cargo-miri/src/phases.rs
+++ b/src/tools/miri/cargo-miri/src/phases.rs
@@ -265,15 +265,7 @@ pub fn phase_rustc(mut args: impl Iterator<Item = String>, phase: RustcPhase) {
             );
             let output =
                 String::from_utf8(output.stdout).expect("rustc returned non-UTF-8 filename");
-            output
-                .lines()
-                .filter(|l| !l.is_empty())
-                .map(|l| {
-                    let mut p = path.clone();
-                    p.push(l);
-                    p
-                })
-                .collect()
+            output.lines().filter(|l| !l.is_empty()).map(|l| path.join(l)).collect()
         }
     }