Skip to content

Make Bound::predicates use Clause#112734

Merged
bors merged 1 commit into
rust-lang:masterfrom
dswij:bounds-predicates-clause
Jun 18, 2023
Merged

Make Bound::predicates use Clause#112734
bors merged 1 commit into
rust-lang:masterfrom
dswij:bounds-predicates-clause

`Bound::predicates` to return `Clause`

f874345
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs