Skip to content

Don't create a separate "basename" when naming and opening a MIR dump file#120038

Merged
bors merged 2 commits into
rust-lang:masterfrom
Zalathar:dump-path
Jan 18, 2024
Merged

Don't create a separate "basename" when naming and opening a MIR dump file#120038
bors merged 2 commits into
rust-lang:masterfrom
Zalathar:dump-path

Inline `dump_file_basename` into `dump_path`

1ec567b
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs