Skip to content

Remove LocalDefId <-> HirId global maps#89278

Closed
cjgillot wants to merge 3 commits into
rust-lang:masterfrom
cjgillot:owner-did
Closed

Remove LocalDefId <-> HirId global maps#89278
cjgillot wants to merge 3 commits into
rust-lang:masterfrom
cjgillot:owner-did

Only the query once for `find_by_def_id`.

6805235
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs