| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-04-25 | handle specialization in the new trait solver | lcnr | -4/+4 |
| 2024-06-12 | Also passthrough for projection clauses | Michael Goulet | -2/+2 |
| 2024-05-30 | Fold item bound before checking that they hold | Michael Goulet | -9/+2 |
| 2024-01-24 | Deduplicate more sized errors on call exprs | Esteban Küber | -1/+1 |
| 2023-12-14 | consistently use "next solver" instead of "new solver" | lcnr | -0/+32 |
