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

Commits

Commits on Jul 14, 2026