This will create a new pull request consisting of 0 PRs.
A rollup is useful for shortening the queue, but jumping the queue is unfair to older PRs who have waited too long.
When creating a real rollup, see this instruction for reference.
—
6 total, 0 approved, 0 rolled up, 0 failed / /
| Sort key | # | Status | Mergeable | Title | Head ref | Assignee | Approved by | Priority | Rollup | |
|---|---|---|---|---|---|---|---|---|---|---|
| 1 | 694 | yes | Add binders validator | flodiebold:binders-check | 0 | |||||
| 2 | 709 | yes | Introduce `Folder::Error` | LeSeulArtichaut:fallible-folder | 0 | |||||
| 3 | 728 | yes | More clause fixes | matthewjasper:wf-clauses | 0 | |||||
| 4 | 589 | no | [WIP] Convert from semantic to syntactic equality | nathanwhit:sem-syn | 0 | |||||
| 5 | 689 | no | Implement associated constants | detrumi:assoc-const | 0 | |||||
| 6 | 726 | no | Add NormalizeFn domain goal that associates projections of functions on traits with the matching implementation | lf-:source-impl | 0 |