Skip to content

Remove unsused NodeId related APIs in hir map#72996

Merged
bors merged 1 commit into
rust-lang:masterfrom
marmeladema:remove-hir-map-nodeid-apis
Jun 5, 2020
Merged

Remove unsused NodeId related APIs in hir map#72996
bors merged 1 commit into
rust-lang:masterfrom
marmeladema:remove-hir-map-nodeid-apis

Remove unsused `NodeId` related APIs in hir map

d0fccb5
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs