4 Commits

Author	SHA1	Message	Date
lcnr	148fd9ad3c	allow method calls on opaques	2025-09-26 16:33:15 +02:00
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