7 Commits

Author	SHA1	Message	Date
yukang	40e07a3ab1	Remove invalid further restricting for type bound	2024-07-17 19:08:37 +08:00
lcnr	f77394fdf3	instantiate higher ranked goals in candidate selection ... reverts #119820	2024-07-10 14:13:16 +02:00
lcnr	24b5466892	drop region constraints for ambiguous goals	2024-05-24 20:32:35 +00:00
blyxyas	c5c820e7fb	Fix typos (taking into account review comments)	2024-05-18 18:12:18 +02:00
Michael Goulet	3e03b1b190	Use a proof tree visitor to refine the Obligation for error reporting	2024-05-02 21:56:14 -04:00
Boxy	f090de8875	rebase oddity	2024-04-03 22:48:55 +01:00
lcnr	4fa5fb684e	move leak check out of candidate evaluation ... this prevents higher ranked goals from guiding selection	2024-04-03 22:32:46 +01:00