Skip to content

Check projection predicates satisfy bounds#79543

Closed
matthewjasper wants to merge 1 commit intorust-lang:masterfrom
matthewjasper:projection-predicate-wf
Closed

Check projection predicates satisfy bounds#79543
matthewjasper wants to merge 1 commit intorust-lang:masterfrom
matthewjasper:projection-predicate-wf

Commits

Commits on Nov 29, 2020