Skip to content

Remove early_exit closures#159647

Merged
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
nnethercote:rm-early_exit-closures
Jul 22, 2026
Merged

Remove early_exit closures#159647
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
nnethercote:rm-early_exit-closures

Commits

Commits on Jul 21, 2026