Homu queue - chalk

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.

4 total, 1 approved, 0 rolled up, 0 failed / /

Sort key # Status Mergeable Title Head ref Assignee Approved by Priority Rollup
1 676 pending Add Substitute trait and return self when noop folding jackh726:substitute-cleanup nikomatsakis 0
2 689 yes Implement associated constants detrumi:assoc-const 0
3 690 yes Coinduction handler for the recursive solver firefighterduck:recursive-coinduction-handler nikomatsakis 0
4 589 no [WIP] Convert from semantic to syntactic equality nathanwhit:sem-syn 0

Open retry log