We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
Given
import org.checkerframework.checker.lock.qual.Holding; class MyClass { @Holding("this.MyClass.class") void method() { } }
Expected: a flowexpr.parse.error at the declaration of method(), since this.MyClass.class is not a valid expression. Actual: no error
flowexpr.parse.error
method()
this.MyClass.class
The text was updated successfully, but these errors were encountered:
Fixes #805
f0d6a17
Fixed via f0d6a17
Sorry, something went wrong.
Update dependency gradle to v8.9 (typetools#805)
9a6d25a
smillst
No branches or pull requests
Given
Expected: a
flowexpr.parse.error
at the declaration ofmethod()
, sincethis.MyClass.class
is not a valid expression.Actual: no error
The text was updated successfully, but these errors were encountered: