| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-09-26 | allow method calls on opaques | lcnr | -2/+1 |
| 2025-06-03 | `FIXME(-Znext-solver)` triage | lcnr | -3/+0 |
| 2024-10-15 | Register a dummy candidate for failed structural normalization during candiat... | Michael Goulet | -3/+0 |
| 2024-10-15 | Be better at reporting alias errors | Michael Goulet | -2/+4 |
| 2024-04-24 | Error on using `yield` without also using `#[coroutine]` on the closure | Oli Scherer | -1/+2 |
| 2024-04-04 | unconstrained `NormalizesTo` term for opaques | lcnr | -2/+4 |
| 2024-03-10 | Ignore tests w/ current/next revisions from compare-mode=next-solver | Michael Goulet | -0/+1 |
| 2024-02-27 | when defining opaques, require the hidden type to be well-formed | lcnr | -1/+1 |
| 2024-02-16 | [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives | 许杰友 Jieyou Xu (Joe) | -3/+3 |
| 2024-02-13 | use alias-relate to structurally normalize in the solver | lcnr | -1/+3 |
| 2024-01-08 | Make cycle error more resilient to where it starts | Michael Goulet | -0/+21 |
