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.

Sign up for GitHub

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

Jump to bottom

Backport "Reimplement support for type aliases in SAM types" to 3.3.4 #21553

Merged
merged 2 commits into from
Sep 6, 2024
Merged

Backport "Reimplement support for type aliases in SAM types" to 3.3.4 #21553

merged 2 commits into from
Sep 6, 2024

Commits on Sep 5, 2024

  1. Reimplement support for type aliases in SAM types 

    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.
    @smarter @WojciechMazur
    smarter authored and WojciechMazur committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    e6cccca View commit details
    Browse the repository at this point in the history

Commits on Sep 6, 2024

  1. Fix compilation issue: use Symbols instead of SymUtils

    @WojciechMazur
    WojciechMazur committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    db126c1 View commit details
    Browse the repository at this point in the history