| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2023-11-24 | Show number in error message even for one error | Nilstrieb | -3/+3 | |
| Co-authored-by: Adrian <adrian.iosdev@gmail.com> | ||||
| 2023-01-13 | Do not incorrectly suggest restricting implied bounds | Esteban Küber | -3/+3 | |
| When we have already suggested bounds that imply the about to be suggested bound, skip them. | ||||
| 2023-01-13 | Elaborate unmet obligations in E0599 for more context | Esteban Küber | -3/+5 | |
| 2023-01-11 | Tweak output | Esteban Küber | -10/+6 | |
| 2023-01-11 | Move /src/test to /tests | Albert Larsan | -0/+208 | |
