This repository was archived by the owner on Dec 22, 2021. It is now read-only.
This repository was archived by the owner on Dec 22, 2021. It is now read-only.
Ensure conformance to new typing rules #475
Closed
Description
scala/scala3#4013 contains several tightenings of typing rules to fix unsoundness problems connected to variant refinements. We should ensure that the new collections typechecks with these changes.