Skip to content

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

Merged
bors merged 1 commit intorust-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 intorust-lang:masterfrom
spastorino:pass-def-id-instead-of-using-hir-id

Commits

Commits on Mar 9, 2023