Skip to content

Almost fully deprecate hir::map::Map.hir_to_node_id#62975

Merged
bors merged 1 commit intorust-lang:masterfrom
ljedrz:kill_off_hir_to_node_id
Sep 25, 2019
Merged

Almost fully deprecate hir::map::Map.hir_to_node_id#62975
bors merged 1 commit intorust-lang:masterfrom
ljedrz:kill_off_hir_to_node_id

Commits

Commits on Aug 25, 2019