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

Relax avoidance checks more for match type reduction #15036

Merged
merged 1 commit into from
May 3, 2022
Merged

Relax avoidance checks more for match type reduction #15036

merged 1 commit into from
May 3, 2022

Commits on Apr 26, 2022

  1. Relax avoidance checks more for match type reduction 

    TypeParamRefs in match types do not have a corresponding TypeVar so they get
assigned level Int.MaxValue by default, this means they can refer to variables
at any level, but to avoid a crash in i14921 we also need the reverse
direction (they can appear in the bounds of variables of any level), both
direction should be safe because these constraints only exist during match type
reduction (see `MatchType#reduced`).

Fixes scala#14921.
    @smarter
    smarter committed Apr 26, 2022
    Configuration menu
    Copy the full SHA
    f7e141d View commit details
    Browse the repository at this point in the history