Skip to content

rustc_middle: Fix opt_item_ident for non-local def ids - #111146

Merged
bors merged 1 commit into
rust-lang:masterfrom
petrochenkov:decident
May 4, 2023
Merged

bors merged 1 commit into
rust-lang:masterfrom
petrochenkov:decident

rustc_middle: Fix `opt_item_ident` for non-local def ids

6f6c379
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs