[dependabot]

Bumps com.uber.nullaway:nullaway from 0.14.0 to 0.14.2.

Release notes

Sourced from com.uber.nullaway:nullaway's releases.

NullAway 0.14.2

This release adds JSpecifyUnrecognizedAnnotationLocation, an opt-in check that reports nullness annotations in locations JSpecify does not recognize. See further documentation on the wiki: https://github.com/uber/NullAway/wiki/JSpecify-Support#jspecifyunrecognizedannotationlocation-checker

Not packaged in the release, but we have also added a script to remove unnecessary NullAway suppressions to the repo: https://github.com/uber/NullAway/tree/master/scripts/nullaway-suppression-remover We expect this to be a useful script to run after NullAway updates, to check if NullAway improvements make some suppressions unnecessary.

Also of note, NullAway now more precisely detects whether the JDK used for the build properly supports reading type use annotations from bytecode, particularly important for JSpecify mode. This may lead NullAway to crash on certain build configurations that were unsupported before but we were not detecting precisely.

Beyond the above, this release includes further fixes for JSpecify mode and JSpecifyExperimental, especially for wildcard bounds and multi-dimensional arrays, along with other bug fixes.

Finally, we have re-enabled pushing snapshot builds to the Sonatype snapshots repository, which should ease testing NullAway versions between releases.

• Small optimization for stream handlers (#1774)
• Check wildcard generics handling flag for enhanced for loops (#1786)
• Cover anonymous class type arguments and modeled call-site returns by @​vlsi (#1777)
• Write the full encoded byte array when serializing TSV/XML rows #1788 by @​AzazelSensei (#1798)
• Fix @​RequiresNonNull override error message to list the extra fields added by the child method by @​Beluomini (#1751)
• Model Stream.takeWhile (+ reactive equivalents) like .filter by @​jeffrey-easyesi (#1809)
• Add JSpecifyUnrecognizedAnnotationLocation, an opt-in check that reports nullness annotations in locations JSpecify does not recognize by @​vlsi (#1787)
• Detect support for the addTypeAnnotationsToSymbol flag on JDK 17 / 21 (#1794)
• Fix RequireExplicitNullMarking diagnostics repeating the check name, so a report no longer begins with [RequireExplicitNullMarking] [RequireExplicitNullMarking] by @​vlsi (#1815)
• Less conservative handling of raw array types (#1807)
• Fix crasher example from Caffeine (#1820)
• Add a script to remove unnecessary NullAway suppressions (#1803)
• Use LinkedHashMap / LinkedHashSet for determinism (#1796)
• Prevent classloader closure from interrupting stubx reads (#1830)
• Preserve non-null type variables through wildcard capture (#1837)
• Treat Maven plugin parameters as externally initialized by @​ZedingZhang (#1848)
• Do not treat type variables from the caller as inference variables (#1824)
• Prevent recursion on self-referential wildcard bounds during inference by @​adityaanikam (#1843)
• Avoid stale wildcard bounds after javac supertype inspection (#1849)
• Preserve contextual bounds for recursive wildcard captures (#1853)
• Restore effective wildcard upper bounds for invocation types (#1855)
• Preserve wildcard component types for array element assignments (#1857)
• Lazily allocate maps to detect wildcard cycles (#1888)
• Preserve all dimensions of multi-dimensional array creation expressions in JSpecify mode by @​dbwiddis (#1711)
• Fix false positives for Spring SpEL expressions using null in comparisons by @​Beluomini (#1750)
• Apply covariant array subtyping at every dimension by @​dbwiddis (#1889)
• Maintenance
  • Remove outdated Spark test (#1772)

... (truncated)

Changelog

Sourced from com.uber.nullaway:nullaway's changelog.

Version 0.14.2

This release adds JSpecifyUnrecognizedAnnotationLocation, an opt-in check that reports nullness annotations in locations JSpecify does not recognize. See further documentation on the wiki: https://github.com/uber/NullAway/wiki/JSpecify-Support#jspecifyunrecognizedannotationlocation-checker

Not packaged in the release, but we have also added a script to remove unnecessary NullAway suppressions to the repo: https://github.com/uber/NullAway/tree/master/scripts/nullaway-suppression-remover We expect this to be a useful script to run after NullAway updates, to check if NullAway improvements make some suppressions unnecessary.

Also of note, NullAway now more precisely detects whether the JDK used for the build properly supports reading type use annotations from bytecode, particularly important for JSpecify mode. This may lead NullAway to crash on certain build configurations that were unsupported before but we were not detecting precisely.

Beyond the above, this release includes further fixes for JSpecify mode and JSpecifyExperimental, especially for wildcard bounds and multi-dimensional arrays, along with other bug fixes.

Finally, we have re-enabled pushing snapshot builds to the Sonatype snapshots repository, which should ease testing NullAway versions between releases.

• Small optimization for stream handlers (#1774)
• Check wildcard generics handling flag for enhanced for loops (#1786)
• Cover anonymous class type arguments and modeled call-site returns by @​vlsi (#1777)
• Write the full encoded byte array when serializing TSV/XML rows #1788 by @​AzazelSensei (#1798)
• Fix @​RequiresNonNull override error message to list the extra fields added by the child method by @​Beluomini (#1751)
• Model Stream.takeWhile (+ reactive equivalents) like .filter by @​jeffrey-easyesi (#1809)
• Add JSpecifyUnrecognizedAnnotationLocation, an opt-in check that reports nullness annotations in locations JSpecify does not recognize by @​vlsi (#1787)
• Detect support for the addTypeAnnotationsToSymbol flag on JDK 17 / 21 (#1794)
• Fix RequireExplicitNullMarking diagnostics repeating the check name, so a report no longer begins with [RequireExplicitNullMarking] [RequireExplicitNullMarking] by @​vlsi (#1815)
• Less conservative handling of raw array types (#1807)
• Fix crasher example from Caffeine (#1820)
• Add a script to remove unnecessary NullAway suppressions (#1803)
• Use LinkedHashMap / LinkedHashSet for determinism (#1796)
• Prevent classloader closure from interrupting stubx reads (#1830)
• Preserve non-null type variables through wildcard capture (#1837)
• Treat Maven plugin parameters as externally initialized by @​ZedingZhang (#1848)
• Do not treat type variables from the caller as inference variables (#1824)
• Prevent recursion on self-referential wildcard bounds during inference by @​adityaanikam (#1843)
• Avoid stale wildcard bounds after javac supertype inspection (#1849)
• Preserve contextual bounds for recursive wildcard captures (#1853)
• Restore effective wildcard upper bounds for invocation types (#1855)
• Preserve wildcard component types for array element assignments (#1857)
• Lazily allocate maps to detect wildcard cycles (#1888)
• Preserve all dimensions of multi-dimensional array creation expressions in JSpecify mode by @​dbwiddis (#1711)
• Fix false positives for Spring SpEL expressions using null in comparisons by @​Beluomini (#1750)
• Apply covariant array subtyping at every dimension by @​dbwiddis (#1889)

... (truncated)

Commits

• fa89a56 (Fixed) Prepare for release 0.14.2
• 2e0d12a fix release yaml
• f472b6b Reset snapshot version
• 738e5ff Prepare next development version.
• 4765e0e Prepare for release 0.14.2.
• 52fd671 Add workflow for cutting releases (#1892)
• 5354f39 Add missing dependencies for publishShadowPublicationToMavenCentralRepository...
• cec5171 Publish snapshots to Maven Central (#1890)
• 079a1ff Apply covariant array subtyping at every dimension (#1889)
• f1ab72a Fix false positive in SpringHandler for SpEL expressions using null in compar...
• Additional commits viewable in compare view

[dependabot]

Superseded by #3378.