Skip to content

Remove has_delayed_lints optimization#158193

Merged
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
JonathanBrouwer:late-lint-experiment
Jun 21, 2026
Merged

Remove has_delayed_lints optimization#158193
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
JonathanBrouwer:late-lint-experiment

Commits

Commits on Jun 21, 2026