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-8Mar 14, 2023

Commits

Commits on Mar 14, 2023