Skip to content

Make NodeId and HirLocalId newtype_index#55750

Merged
bors merged 7 commits intorust-lang:masterfrom
oli-obk:node_id_x
Nov 15, 2018
Merged

Make `NodeId` and `HirLocalId` `newtype_index`#55750
bors merged 7 commits intorust-lang:masterfrom
oli-obk:node_id_x

Commits

Commits on Nov 12, 2018