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 petrochenkov:somehir4Mar 15, 2024
+135-199
opt_local_def_id_to_hir_id and opt_hir_node_by_def_id#122513