Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Backport "Allow SAM types to contain multiple refinements" to 3.3.4 #21556

Conversation

WojciechMazur
Copy link
Contributor

Backports #20172 to Scala 3.3.4-RC2 as the follow-up to #20092 regression fix.

smarter and others added 4 commits September 6, 2024 00:10
This was dropped in scala#18201 which restricted SAM types to valid parent types,
but it turns out that there is code in the wild that relies on refinements
being allowed here.

To support this properly, we had to enhance ExpandSAMs to move refinements into
type members to pass Ycheck (previous Scala 3 releases would accept the code in
tests/run/i18315.scala but fail Ycheck).

Fixes scala#18315.
@WojciechMazur WojciechMazur merged commit d69ae4e into scala:release-3.3.4 Sep 6, 2024
17 checks passed
@WojciechMazur WojciechMazur deleted the backport-lts/18317+20092+20172 branch September 6, 2024 14:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants