diff options
| author | Urgau <urgau@numericable.fr> | 2024-03-21 21:13:06 +0100 |
|---|---|---|
| committer | Urgau <urgau@numericable.fr> | 2024-03-28 18:47:26 +0100 |
| commit | 4f4fa42b0ee1cf6c988d3f7ed6bcb4a51e788282 (patch) | |
| tree | 9057c7917e19c80dfdf90cfc2d3d9f564a9cc344 /compiler/rustc_session/src/session.rs | |
| parent | ee2898d3f1cbece34153581823fafa7f572bbff0 (diff) | |
| download | rust-4f4fa42b0ee1cf6c988d3f7ed6bcb4a51e788282.tar.gz rust-4f4fa42b0ee1cf6c988d3f7ed6bcb4a51e788282.zip | |
Introduce `FileNameMapping::to_real_filename` and use it everywhere
Diffstat (limited to 'compiler/rustc_session/src/session.rs')
| -rw-r--r-- | compiler/rustc_session/src/session.rs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/compiler/rustc_session/src/session.rs b/compiler/rustc_session/src/session.rs index 65ae666f209..0e15646841e 100644 --- a/compiler/rustc_session/src/session.rs +++ b/compiler/rustc_session/src/session.rs @@ -252,8 +252,7 @@ impl Session { } pub fn local_crate_source_file(&self) -> Option<RealFileName> { - let path = self.io.input.opt_path()?; - Some(RealFileName::LocalPath(path.to_path_buf())) + Some(self.source_map().path_mapping().to_real_filename(self.io.input.opt_path()?)) } fn check_miri_unleashed_features(&self) -> Option<ErrorGuaranteed> { |