A way to remove otherwise unused locals from MIR#36306

Merged

bors merged 1 commit intorust-lang:masterfrom nagisa:mir-local-cleanup

Nov 4, 2016

+137-35

Commits on Nov 3, 2016

A way to remove otherwise unused locals from MIR
nagisa
committed