6 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	c9ce51b5c7	Check GAT, IAT, and weak type where clauses during projection	2023-07-16 21:14:38 +00:00
lcnr	30ed152330	update tests	2023-07-03 09:12:15 +02:00
Michael Goulet	2eb7d69309	Resolve vars when reporting WF error	2023-06-23 16:26:22 +00:00
Michael Goulet	f12695b53b	Don't emit same goal as input during wf obligations	2023-06-23 16:23:27 +00:00
Michael Goulet	0dbaae4165	Make alias bounds sound in the new solver	2023-05-09 20:37:50 +00:00