Add {Local}ModDefId to more strongly type DefIds`#114772
Merged
bors merged 2 commits intorust-lang:masterfrom Aug 15, 2023
Merged
Add `{Local}ModDefId` to more strongly type DefIds`#114772bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom
Commits
Commits on Aug 13, 2023
- authored andcommitted
Commits on Aug 14, 2023
- authored andcommitted