-
Notifications
You must be signed in to change notification settings - Fork 285
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.
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
Support @MonotonicNonNullDecl by default as an excluded field annotation #93
Comments
We can easily support interpreting the CF annotations as best as possible within the (less sophisticated) NullAway type system. Actually enhancing the power of the type system would be more work and would require some further justification in terms of additional reliability in practice, etc. For this one, I think by default we would just treat the field as |
Ah, I see. You're probably looking to not see reports of initialization errors on such fields, yes? If so, that can easily be handled using the |
For this one, should we treat it in the following way, If a field I am currently focusing on eliminating all warnings on uninitialized fields. |
Yeah, for now you can handle this by passing |
Neat. Thank you. |
Do you plan to support @MonotonicNonNullDecl? Recently I added this annotation to guava (https://github.com/google/guava/blob/master/guava/src/com/google/common/reflect/TypeToken.java#L105)
Or more generally, do you support the nullness annotations of the checker framework?
The text was updated successfully, but these errors were encountered: