Skip to content

Add {Local}ModDefId to more strongly type DefIds`#114772

Merged
bors merged 2 commits into
rust-lang:masterfrom
fee1-dead-contrib:typed-did
Aug 15, 2023
Merged

Add {Local}ModDefId to more strongly type DefIds`#114772
bors merged 2 commits into
rust-lang:masterfrom
fee1-dead-contrib:typed-did

Use `{Local}ModDefId` in many queries

c75fc57
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs