Skip to content

Changed usages of mir in librustc::mir and librustc_mir to body - #61506

Merged
bors merged 1 commit into
rust-lang:masterfrom
imbrem:mir_body_renaming
Jun 10, 2019
Merged

Changed usages of mir in librustc::mir and librustc_mir to body#61506
bors merged 1 commit into
rust-lang:masterfrom
imbrem:mir_body_renaming

Commits

Commits on Jun 9, 2019