Allow to have different types for arguments of `Rustc::remap_path_prefix`#127307

Merged

bors merged 1 commit intorust-lang:masterfrom

GuillaumeGomez:different-types-remap_path_prefix

Jul 4, 2024

Commits on Jul 4, 2024

Allow to have different types for arguments of `Rustc::remap_path_prefix`
GuillaumeGomez
committed