Skip to content

Reduce use of LocalDefId <-> HirId maps#90146

Merged
bors merged 9 commits into
rust-lang:masterfrom
cjgillot:no-id-map
Jan 16, 2022
Merged

Reduce use of LocalDefId <-> HirId maps#90146
bors merged 9 commits into
rust-lang:masterfrom
cjgillot:no-id-map

Add inline.

8617ff0
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs