This issue is for tracking remaining changes we need to make to use the jspecify/jdk library models with NullAway. We added some initial support for parsing source code and generating astubx files in #922, with support only for reading in @Nullable return types. (List below is quite incomplete for the moment)
[X] #949
[ ] #940
[ ] properly handle defaults for modeled @NullMarked classes (unannotated types are @NonNull) #1006
[ ] scripts to generate an astubx jar artifact that can be shipped to Maven Central
[ ] add a flag for using the new models separate from JSpecify mode?
This issue is for tracking remaining changes we need to make to use the jspecify/jdk library models with NullAway. We added some initial support for parsing source code and generating
astubxfiles in #922, with support only for reading in@Nullablereturn types. (List below is quite incomplete for the moment)@NullMarkedclasses (unannotated types are@NonNull) #1006astubxjar artifact that can be shipped to Maven Central