Skip to content

Remove unused cached_unreachable_block from MIR builder#78039

Merged
bors merged 1 commit intorust-lang:masterfrom
tmiasko:unreachable-block
Oct 17, 2020
Merged

Remove unused cached_unreachable_block from MIR builder#78039
bors merged 1 commit intorust-lang:masterfrom
tmiasko:unreachable-block

Commits

Commits on Oct 17, 2020