Skip to content

Entirely remove DUMMY_HIR_ID - #71116

Merged
bors merged 2 commits into
rust-lang:masterfrom
marmeladema:dummy-hir-id-removal
Apr 15, 2020
Merged

Entirely remove DUMMY_HIR_ID#71116
bors merged 2 commits into
rust-lang:masterfrom
marmeladema:dummy-hir-id-removal

Remove `DUMMY_HIR_ID`

c15e13a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs