Repository navigation

More NodeId pruning - #61984

Merged

bors merged 13 commits into

rust-lang:masterfrom

ljedrz:more_node_id_pruning

Jun 22, 2019

Commits on Jun 20, 2019

replace NodeId with HirId in traits::ObligationCauseCode
ljedrz
committed
4410916
remove TyCtx::expr_span (unused)
ljedrz
committed
b710e08
replace NodeId with HirId in infer::SubregionOrigin
ljedrz
committed
f6eb392
remove hir::map::name
ljedrz
committed
468647c
rename hir::map::name_by_hir_id to ::name
ljedrz
committed
98cc18a
make hir::def_kind work with HirId
ljedrz
committed
3ed7585
remove definitions::def_index_to_node_id (unused)
ljedrz
committed
21e63dd
remove uses of the NodeId hir::map::expr
ljedrz
committed
2d1e223
rename hir::map::expect_expr_by_hir_id to expect_expr
ljedrz
committed
fe044a8
make blocks::Code work with HirId
ljedrz
committed
ae72c91
remove hir::map::get
ljedrz
committed
a64456e
rename hir::map::get_by_hir_id to get
ljedrz
committed
73cb9ab

Commits on Jun 21, 2019

revert the NodeId to HirId parameter change to get_path_res
ljedrz
committed
0a511cc