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

rename from lazy_type_alias to checked_type_aliases

526787d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Jul 15, 2026 in 1m 7s