| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2023-12-14 | consistently use "next solver" instead of "new solver" | lcnr | -197/+0 | |
| 2023-12-14 | update use of feature flags | lcnr | -5/+5 | |
| 2023-12-12 | refactor writeback: emit normalization errors with new solver | lcnr | -6/+14 | |
| 2023-11-24 | Show number in error message even for one error | Nilstrieb | -2/+2 | |
| Co-authored-by: Adrian <adrian.iosdev@gmail.com> | ||||
| 2023-10-04 | Reorder fullfillment errors to keep more interesting ones first | Esteban Küber | -11/+3 | |
| In `report_fullfillment_errors` push back `T: Sized`, `T: WellFormed` and coercion errors to the end of the list. The pre-existing deduplication logic eliminates redundant errors better that way, keeping the resulting output with fewer errors than before, while also having more detail. | ||||
| 2023-08-29 | add non-regression test for issue 115351 | Rémy Rakic | -0/+39 | |
| 2023-08-26 | Point at appropriate type parameter in more trait bound errors | Esteban Küber | -8/+8 | |
| 2023-08-10 | add and move trait solver cycle tests | lcnr | -0/+119 | |
| 2023-08-03 | add tests | lcnr | -0/+39 | |
