Predicate/clause cleanups - #157104

Merged

rust-bors[bot] merged 8 commits into

rust-lang:mainfrom

nnethercote:predicate-clause-cleanups

Jul 8, 2026

Commits on Jul 6, 2026

Fix a typo
nnethercote
committed
ae0fe77
Eliminate three `as_predicate` calls
nnethercote
committed
6df768b
Eliminate one `as_predicate` call
nnethercote
committed
b5ad81b
Eliminate another `as_predicate` call
nnethercote
committed
1ae429f
Eliminate two `as_predicate` calls
nnethercote
committed
9d49b68
Adjust naming around `caller_bounds` calls
nnethercote
committed
1610212
Eliminate two `as_predicate` and two `as_clause` calls
nnethercote
committed
5454fdc
Adjust `prove_predicates`/`prove_predicate`
nnethercote
committed
6f34610