Skip to content

Cleanup: rename node_id_to_type(_opt) - #58137

Merged
bors merged 2 commits into
rust-lang:masterfrom
ljedrz:cleanup_node_id_to_type
Feb 13, 2019
Merged

Cleanup: rename node_id_to_type(_opt)#58137
bors merged 2 commits into
rust-lang:masterfrom
ljedrz:cleanup_node_id_to_type

cleanup: remove hir_path_str

eb669b3
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs