2 commits

Author	SHA1	Message	Date
Michael Goulet	383051092f	Ignore tests w/ current/next revisions from compare-mode=next-solver	2024-03-10 21:18:41 -04:00
Michael Goulet	75e15f7cf4	Deeply normalize obligations in refining_impl_trait	2024-02-28 16:09:29 +00:00