3 Commits

Author	SHA1	Message	Date
Michael Goulet	5cdbe83af8	Opportunistically resolve regions when processing region outlives obligations	2024-02-28 15:44:04 +00:00
Michael Goulet	629d3511b7	Make IMPLIED_BOUNDS_ENTAILMENT into a hard error from a lint	2023-12-16 01:28:05 +00:00
Albert Larsan	cf2dff2b1e	Move /src/test to /tests	2023-01-11 09:32:08 +00:00