Skip to content

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
Merged

Allow to have different types for arguments of `Rustc::remap_path_prefix`#127307
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:different-types-remap_path_prefix

Commits