Skip to content

Remove most uses of def_id_to_node_id#156135

Merged
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
oli-obk:def_id_to_node_id_reduction
May 5, 2026
Merged

Remove most uses of def_id_to_node_id#156135
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
oli-obk:def_id_to_node_id_reduction

Commits

Commits on May 4, 2026