merge as_local_hir_id
with local_def_id_to_hir_id
#75448
Merged
bors merged 1 commit intorust-lang:masterfrom Aug 15, 2020
Merged
merge `as_local_hir_id` with `local_def_id_to_hir_id`#75448bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom