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

Refine handling of CanThrow capabilities #13866

Merged
merged 4 commits into from
Nov 8, 2021
Merged

Refine handling of CanThrow capabilities #13866

merged 4 commits into from
Nov 8, 2021

Commits on Nov 3, 2021

  1. Disallow throws clauses over RuntimeExceptions 

    Fixes scala#13846
    @odersky
    odersky committed Nov 3, 2021
    Configuration menu
    Copy the full SHA
    d987b5a View commit details
    Browse the repository at this point in the history

  2. Don't generate CanThrow capabilities for catches with guards

    @odersky
    odersky committed Nov 3, 2021
    Configuration menu
    Copy the full SHA
    abffac2 View commit details
    Browse the repository at this point in the history

  3. Restrict catch patterns under saferExceptions 

    Restrict catch patterns to `ex: T` with no guard under saferExceptions
so that capabilities can be generated safely.

Fixes scala#13849
    @odersky
    odersky committed Nov 3, 2021
    Configuration menu
    Copy the full SHA
    2c5613c View commit details
    Browse the repository at this point in the history

Commits on Nov 5, 2021

  1. Add explanation about restrictions to docs

    @odersky
    odersky committed Nov 5, 2021
    Configuration menu
    Copy the full SHA
    6381d9d View commit details
    Browse the repository at this point in the history