Skip to content

Many "predicate"-to-"clause" renamings - #159990

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
nnethercote:predicate-to-clause
Jul 28, 2026
Merged

Many "predicate"-to-"clause" renamings#159990
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
nnethercote:predicate-to-clause