Skip to content

Replace Idents with Names in HIR (Part 1)#28535

Merged
bors merged 8 commits intorust-lang:masterfrom
petrochenkov:name
Sep 23, 2015
Merged

Replace `Ident`s with `Name`s in HIR (Part 1)#28535
bors merged 8 commits intorust-lang:masterfrom
petrochenkov:name

Commits

Commits on Sep 22, 2015