Skip to content

Remove some usage of DUMMY_HIR_ID#71092

Merged
bors merged 5 commits intorust-lang:masterfrom
marmeladema:dummy-hir-id-removal
Apr 14, 2020
Merged

Remove some usage of `DUMMY_HIR_ID`#71092
bors merged 5 commits intorust-lang:masterfrom
marmeladema:dummy-hir-id-removal

Commits

Commits on Apr 13, 2020