about summary refs log tree commit diff
path: root/tests/ui/traits/new-solver/overflow
AgeCommit message (Collapse)AuthorLines
2023-12-14consistently use "next solver" instead of "new solver"lcnr-197/+0
2023-12-14update use of feature flagslcnr-5/+5
2023-12-12refactor writeback: emit normalization errors with new solverlcnr-6/+14
2023-11-24Show number in error message even for one errorNilstrieb-2/+2
Co-authored-by: Adrian <adrian.iosdev@gmail.com>
2023-10-04Reorder fullfillment errors to keep more interesting ones firstEsteban 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-29add non-regression test for issue 115351Rémy Rakic-0/+39
2023-08-26Point at appropriate type parameter in more trait bound errorsEsteban Küber-8/+8
2023-08-10add and move trait solver cycle testslcnr-0/+119
2023-08-03add testslcnr-0/+39