Avoid an unnecessary allocation
This commit is contained in:
parent
44ef075aeb
commit
1355559367
5 changed files with 28 additions and 27 deletions
|
@ -237,7 +237,7 @@ impl Session {
|
|||
|
||||
pub fn local_crate_source_file(&self) -> Option<PathBuf> {
|
||||
let path = self.io.input.opt_path()?;
|
||||
Some(self.opts.file_path_mapping().map_prefix(path).0)
|
||||
Some(self.opts.file_path_mapping().map_prefix(path).0.into_owned())
|
||||
}
|
||||
|
||||
fn check_miri_unleashed_features(&self) {
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue