Skip to content

Record LocalDefId in HIR nodes instead of a side table#104170

Merged
bors merged 8 commits intorust-lang:masterfrom
cjgillot:hir-def-id
Nov 17, 2022
Merged

Record `LocalDefId` in HIR nodes instead of a side table#104170
bors merged 8 commits intorust-lang:masterfrom
cjgillot:hir-def-id

Commits

Commits on Nov 13, 2022