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

Merged

bors merged 2 commits intorust-lang:masterfrom

fee1-dead-contrib:typed-did

Aug 15, 2023

Commits on Aug 13, 2023

Add typed `{Local}DefId` for modules

Noratrieb
authored and
fee1-dead
committed

Commits on Aug 14, 2023

Use `{Local}ModDefId` in many queries

Noratrieb
authored and
fee1-dead
committed