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

Changed usages of `mir` in librustc::mir and librustc_mir to `body`

80ff07f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs