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
TypeUseLocation
checker-framework/checker-qual/src/main/java/org/checkerframework/framework/qual/TypeUseLocation.java
Line 6 in ecdcabc
Go through the current ordering and make sure the ordering is meaningful. In particular, the relationship between IMPLICIT_LOWER_BOUND and TYPE_VARIABLE_USE might be confusing. See this change: jspecify/jspecify-reference-checker@651689e from PR jspecify/jspecify-reference-checker#175.
IMPLICIT_LOWER_BOUND
TYPE_VARIABLE_USE
The text was updated successfully, but these errors were encountered:
No branches or pull requests
checker-framework/checker-qual/src/main/java/org/checkerframework/framework/qual/TypeUseLocation.java
Line 6 in ecdcabc
Go through the current ordering and make sure the ordering is meaningful. In particular, the relationship between
IMPLICIT_LOWER_BOUND
andTYPE_VARIABLE_USE
might be confusing. See this change: jspecify/jspecify-reference-checker@651689e from PR jspecify/jspecify-reference-checker#175.The text was updated successfully, but these errors were encountered: