rustc_middle: Fix opt_item_ident for non-local def ids#111146
Merged
bors merged 1 commit intorust-lang:masterfrom May 4, 2023
Merged
rustc_middle: Fix `opt_item_ident` for non-local def ids#111146bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
