Record LocalDefId in HIR nodes instead of a side table#104170
Merged
bors merged 8 commits intorust-lang:masterfrom Nov 17, 2022
Commits
Commits on Nov 13, 2022
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
