Skip to content

Rename ModDefId to ModId and use more#159197

Merged
rust-bors[bot] merged 6 commits into
rust-lang:mainfrom
camsteffen:more-modid
Jul 15, 2026
Merged

Rename ModDefId to ModId and use more#159197
rust-bors[bot] merged 6 commits into
rust-lang:mainfrom
camsteffen:more-modid