Skip to content

Make Bound::predicates use Clause#112734

Merged
bors merged 1 commit intorust-lang:masterfrom dswij:bounds-predicates-clauseJun 18, 2023

Commits

Commits on Jun 17, 2023