Skip to content

Replace some uses of NodeId with HirId#61836

Merged
bors merged 8 commits intorust-lang:masterfrom
ljedrz:i_still_hate_node_ids
Jun 18, 2019

Commits

Commits on Jun 17, 2019