Skip to content

Rename lazy_type_alias feature gate to checked_type_aliases #158758

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
josetorrs:rename-lazy-type-alias
Jul 16, 2026
Merged

Rename lazy_type_alias feature gate to checked_type_aliases #158758
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
josetorrs:rename-lazy-type-alias

Commits

Commits on Jul 15, 2026