5 Commits

Author	SHA1	Message	Date
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