We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
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
main
import language.experimental.captureChecking class Runner(ops: List[() => Unit]): def execute: Unit = ops.foreach(f => f())
It compiles.
It should not.
The text was updated successfully, but these errors were encountered:
Fix handling of @use and @consume in class parameters (scala#23342)
eb1a0af
Multiple fixes, both to keep the annotations in place for capture checking, and to consult them when we do leak checking. Fixes scala#23303
odersky
Successfully merging a pull request may close this issue.
Compiler version
main
Minimized code
Output
It compiles.
Expectation
It should not.
The text was updated successfully, but these errors were encountered: