Skip to content

Renames mir::Mir to mir::Body#60242

Closed
marimeireles wants to merge 8 commits into
rust-lang:masterfrom
marimeireles:master
Closed

Renames mir::Mir to mir::Body#60242
marimeireles wants to merge 8 commits into
rust-lang:masterfrom
marimeireles:master

Fix the comments from Body -> mir::Body

570405b
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs