3 commits

Author	SHA1	Message	Date
Michael Goulet	ff4653a08f	Use fulfillment, not evaluate, during method probe	2024-04-21 20:10:12 -04:00
Esteban Küber	757b726f86	Use only one label for multiple unsatisfied bounds on type (typeck)	2024-01-26 20:47:19 +00:00
Esteban Küber	81ba427a7b	Add tests	2023-01-13 18:20:24 +00:00