Skip to content

dump_mir cleanups#145421

Merged
bors merged 6 commits intorust-lang:masterfrom
nnethercote:dump_mir-cleanups
Sep 1, 2025
Merged

`dump_mir` cleanups#145421
bors merged 6 commits intorust-lang:masterfrom
nnethercote:dump_mir-cleanups

Commits

Commits on Aug 31, 2025