Skip to content

Add {Local}ModDefId to more more strongly type DefIds#110862

Closed
Noratrieb wants to merge 2 commits into
rust-lang:masterfrom
Noratrieb:typed-did
Closed

Add {Local}ModDefId to more more strongly type DefIds#110862
Noratrieb wants to merge 2 commits into
rust-lang:masterfrom
Noratrieb:typed-did

Use `{Local}ModDefId` in many queries

f38c647
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs