hir: Remove opt_local_def_id_to_hir_id and opt_hir_node_by_def_id#122513
Merged
bors merged 1 commit intorust-lang:masterfrom Mar 15, 2024
opt_local_def_id_to_hir_id and opt_hir_node_by_def_id#122513