Skip to content

Make some report and emit errors take DefIds instead of BodyIds#108945

Merged
bors merged 1 commit into
rust-lang:masterfrom
spastorino:pass-def-id-instead-of-using-hir-id
Mar 10, 2023
Merged

Make some report and emit errors take DefIds instead of BodyIds#108945
bors merged 1 commit into
rust-lang:masterfrom
spastorino:pass-def-id-instead-of-using-hir-id

Make some report and emit errors take DefIds instead of BodyIds

5b99723
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs