We now by default check/enforce that pure type-use annotations from JSpecify are written in the "right place" on array types, varargs types, and nested types. More details can be found in the wiki. We also expose -XepOpt:NullAway:LegacyAnnotationLocations flag to disable this new
behavior for now to ease the migration. We expect to remove this flag in a future version
of NullAway.
We now support writing @EnsuresNonNullIf on methods to capture cases where a method conditionally ensures that a field is @NonNull. Thanks @mauricioaniche for the contributions!
(The changelog below contains all changes from version 0.11.2, since version 0.11.3 contains only one cherry-picked PR from master).
Enforce Strict Interpretation Of Type Use Annotation Locations Outside of JSpecify mode (#1010)
Update handling of annotations on varargs argument (#1025)
Create basic unit tests for library model generation (#1031)
Partial handling for restrictive annotations on varargs in unannotated code (#1029)
Add missing source files in android-jarinfer-models-sdk modules (#1033)
External Library Models: Adding support for @nullable Method parameters (#1006)
We now by default check/enforce that pure type-use annotations from JSpecify are written in the "right place" on array types, varargs types, and nested types. More
details can be found in the wiki.
We also expose -XepOpt:NullAway:LegacyAnnotationLocations flag to disable this new
behavior for now to ease the migration. We expect to remove this flag in a future version
of NullAway.
We now support writing @EnsuresNonNullIf on methods to capture cases where a method conditionally ensures that a field is @NonNull. Thanks @mauricioaniche for the contributions!
(The changelog below contains all changes from version 0.11.2, since version 0.11.3
contains only one cherry-picked PR from master).
Enforce Strict Interpretation Of Type Use Annotation Locations Outside of JSpecify mode (#1010)
Update handling of annotations on varargs argument (#1025)
Create basic unit tests for library model generation (#1031)
Partial handling for restrictive annotations on varargs in unannotated code (#1029)
Add missing source files in android-jarinfer-models-sdk modules (#1033)
External Library Models: Adding support for @nullable Method parameters (#1006)
Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.
Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR:
- `@dependabot rebase` will rebase this PR
- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it
- `@dependabot merge` will merge this PR after your CI passes on it
- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it
- `@dependabot cancel merge` will cancel a previously requested merge and block automerging
- `@dependabot reopen` will reopen this PR if it is closed
- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
- `@dependabot show ignore conditions` will show all of the ignore conditions of the specified dependency
- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)
Bumps com.uber.nullaway:nullaway from 0.10.7 to 0.12.0.
Release notes
Sourced from com.uber.nullaway:nullaway's releases.
... (truncated)
Changelog
Sourced from com.uber.nullaway:nullaway's changelog.
... (truncated)
Commits
84273f6
Prepare for release 0.12.0.91cf25d
Fix bugs in reading varargs annotations from bytecodes (#1055)2a9188b
Update Android SDK 31 astubx models (#1054)0f6f3d2
Use HTTP instead of SSH for cloning repo for JMH Benchmarks (#1056)cc5ef65
Enforce correct type-use annotation locations for nested types (#1045)9eea2be
Remove unused or unneeded JarInfer flags (#1050)4eaf484
Update some Android astubx models (#1052)69b8e4c
Various version updates (#1051)e1298df
Update to Checker Framework 3.48.0 (#1030)f3837e8
Add extra JVM args needed for JMH on recent JDK versions (#1049)Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting
@dependabot rebase
.Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR: - `@dependabot rebase` will rebase this PR - `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it - `@dependabot merge` will merge this PR after your CI passes on it - `@dependabot squash and merge` will squash and merge this PR after your CI passes on it - `@dependabot cancel merge` will cancel a previously requested merge and block automerging - `@dependabot reopen` will reopen this PR if it is closed - `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually - `@dependabot show