7 Commits

Author	SHA1	Message	Date
Esteban Küber	91b9ffeab0	Reorder fullfillment errors to keep more interesting ones first ... 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-10-04 02:04:14 +00:00
Michael Goulet	07851679cd	Point out the actual mismatch error	2023-10-02 23:14:29 +00:00
asquared31415	b53a1b3808	make adt_const_params feature suggestion more consistent with others and only suggest it when the type can probably work	2023-09-28 23:10:04 +00:00
Michael Goulet	055452864e	Walk through full path in point_at_path_if_possible	2023-08-25 19:05:38 +00:00
León Orell Valerian Liehr	1a18158891	Don't crash when reporting nice region errors for generic const items	2023-08-12 15:34:28 +02:00
Deadbeef	4fec845c3f	Remove constness from TraitPredicate	2023-08-02 15:38:00 +00:00
León Orell Valerian Liehr	6636916b66	Add UI tests for generic const items	2023-07-28 22:23:20 +02:00