Skip to content

change MIR dump filenames from rustc.nodeN... to rustc.<DefPath>#45757

Merged
bors merged 2 commits intorust-lang:masterfrom
mikhail-m1:change-mir-dump-filename
Nov 9, 2017
Merged

change MIR dump filenames from `rustc.nodeN...` to `rustc.<DefPath>`#45757
bors merged 2 commits intorust-lang:masterfrom
mikhail-m1:change-mir-dump-filename

Commits

Commits on Nov 9, 2017