3 commits

Author	SHA1	Message	Date
Oli Scherer	03fa9b8073	Also test under next solver	2024-06-11 08:19:19 +00:00
Oli Scherer	6cca6da126	Revert "When checking whether an impl applies, constrain hidden types of opaque types." ... This reverts commit 29a630eb72.	2024-06-11 08:08:25 +00:00
Oli Scherer	fe55c0091d	Add regression test	2024-06-11 08:08:25 +00:00