Skip to content

Predicate/clause cleanups - #157104

Merged
rust-bors[bot] merged 8 commits into
rust-lang:mainfrom
nnethercote:predicate-clause-cleanups
Jul 8, 2026
Merged

Predicate/clause cleanups#157104
rust-bors[bot] merged 8 commits into
rust-lang:mainfrom
nnethercote:predicate-clause-cleanups

Adjust `prove_predicates`/`prove_predicate`

6f34610
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.