Skip to content

Replace some uses of NodeId with HirId#61836

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

Replace some uses of NodeId with HirId#61836
bors merged 8 commits into
rust-lang:masterfrom
ljedrz:i_still_hate_node_ids

remove superfluous space

e1bf56d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs