Skip to content

hir: add HirId to main Hir nodes#58079

Merged
bors merged 1 commit intorust-lang:masterfrom
ljedrz:HirIdification_phase_1
Feb 3, 2019

Commits

Commits on Feb 2, 2019