| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2024-12-25 | Actually print all the relevant parts of a coroutine in verbose mode | Michael Goulet | -3/+3 |
| 2024-10-29 | Remove detail from label/note that is already available in other note | Esteban Küber | -4/+4 |
| 2024-08-31 | Create opaque definitions in resolver. | Camille GILLOT | -3/+3 |
| 2024-04-24 | Error on using `yield` without also using `#[coroutine]` on the closure | Oli Scherer | -25/+25 |
| 2024-03-19 | Remove redundant coroutine captures note | Michael Goulet | -1/+0 |
| 2024-02-16 | [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives | 许杰友 Jieyou Xu (Joe) | -3/+3 |
| 2024-01-30 | Provide more context on derived obligation error primary label | Esteban Küber | -4/+4 |
| 2024-01-24 | Deduplicate more sized errors on call exprs | Esteban Küber | -6/+16 |
| 2024-01-23 | Random type checker changes | Michael Goulet | -3/+3 |
| 2023-12-19 | rename to verbose-internals | jyn | -3/+3 |
| 2023-11-24 | Show number in error message even for one error | Nilstrieb | -1/+1 |
| 2023-10-20 | Rename `generator` folder | Oli Scherer | -0/+223 |
