Skip to content

Remove some direct calls to local_def_id_to_hir_id on diagnostics#108915

Merged
bors merged 1 commit intorust-lang:masterfrom
spastorino:new-rpitit-8
Mar 14, 2023
Merged

Remove some direct calls to local_def_id_to_hir_id on diagnostics#108915
bors merged 1 commit intorust-lang:masterfrom
spastorino:new-rpitit-8

Commits

Commits on Mar 14, 2023