Don't create a separate "basename" when naming and opening a MIR dump file#120038
Merged
bors merged 2 commits intorust-lang:masterfrom Jan 18, 2024
Merged
Don't create a separate "basename" when naming and opening a MIR dump file#120038bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom