Remove unused opt_local_def_id_to_hir_id function#83108
Merged
bors merged 1 commit intorust-lang:masterfrom Mar 15, 2021
Merged
Remove unused opt_local_def_id_to_hir_id function#83108bors merged 1 commit intorust-lang:masterfrom
opt_local_def_id_to_hir_id function#83108bors merged 1 commit intorust-lang:masterfrom
