Skip to content

Pre-compute LocalDefId <-> HirId mappings and remove NodeId <-> HirId conversion APIs#73291

Merged
bors merged 5 commits intorust-lang:masterfrom
marmeladema:hir-id-ification-fix
Jun 21, 2020
Merged

Pre-compute `LocalDefId` <-> `HirId` mappings and remove `NodeId` <-> `HirId` conversion APIs#73291
bors merged 5 commits intorust-lang:masterfrom
marmeladema:hir-id-ification-fix

Commits

Commits on Jun 20, 2020