| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-06-30 | Move lazy type alias checks to non-hir-wfck | Oli Scherer | -29/+7 |
| 2025-06-30 | Check variances in the non-hir wfchecker | Oli Scherer | -1/+23 |
| 2025-05-05 | Deeply normalize in the new solver in WF | Michael Goulet | -4/+4 |
| 2024-03-10 | Ignore tests w/ current/next revisions from compare-mode=next-solver | Michael Goulet | -0/+43 |
