Bump com.uber.nullaway:nullaway from 0.13.4 to 0.13.7

[dependabot]

Bumps com.uber.nullaway:nullaway from 0.13.4 to 0.13.7.

Release notes

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

NullAway 0.13.7

This is a minor bug fix release addressing a couple of issues observed in 0.13.6.

• Add support for filtering null objects from streams in #1597
• Report init warnings for JPA constructors with arguments in #1604
• Maintenance
  • Update release instructions in #1593
  • Switch code coverage aggregation to use built-in jacoco plugin by @​subhramit in #1598
  • Bump Error Prone to 2.50.0 in #1601

NullAway 0.13.6

(NOTE: originally these notes appeared with the 0.13.5 release, but that release was pushed incorrectly due to an error in our release process.)

Includes various bug fixes, particularly in JSpecify mode. Also, the nullaway-annotations artifact now includes a @Contract annotation. NullAway also now has a built-in handler to reason about field initialization in classes managed by Jakarta Persistence.

Work has begun on support for wildcards in JSpecify mode. Currently, this support is off by default, guarded by the configuration flag HandleWildcardGenerics. The support still has multiple known bugs, and we do not yet recommend enabling it.

• Initial subtype checking for wildcards (#1520)
• Handle subtype checking for wildcard super bounds (#1547)
• Handle most remaining wildcard subtyping / containment cases (#1548)
• Test case for #1528 (#1556)
• Initial inference for wildcards (#1549)
• Fix wildcard inference bug with method references (#1553)
• Fix nullability for return and parameter wildcards (#1558)
• Test case for trick to assert chain of accesses is non-null (#1566)
• Improve inference failure error message (#1567)
• Adjust more TreePaths to have correct leaf before calling getTreeType (#1570)
• Add Contract annotation to nullaway-annotations by @​codingkiddo (#1569)
• Run inference for generic method calls nested inside receivers (#1571)
• Refactor hasAnyAnnotationMatching method (#1583)
• Improve handling of var-declared local variables (#1573)
• Compensate for more annotations inserted by javac (#1574)
• Enable test for issue 1500 and add comment (#1560)
• Use ground target types when handling lambdas and method refs passed to generic methods (#1575)
• Fix for unbounded wildcard passed to @NullUnmarked type variable (#1577)
• Detect and warn on annotations directly on wildcard types (#1579)
• Enable HandleWildcardGenerics flag when building NullAway (#1586)
• Report error when @​Initializer is used on a constructor by @​Vinu2111 (#1546)
• Add a handler for Jakarta Persistence to reason about field initialization (#1584)
• Revert "Report error when @​Initializer is used on a constructor (#1546)" (#1588)
• Maintenance
  • Use Jacoco 0.8.15 snapshot (#1550)
  • Update to Gradle 9.5.0 (#1554)
  • Test with latest Error Prone snapshot on CI (#1555)
  • Add Spring Boot as an integration test (#1557)

... (truncated)

Changelog

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

Version 0.13.7

This is a minor bug fix release addressing a couple of issues observed in 0.13.6.

• Add support for filtering null objects from streams in #1597
• Report init warnings for JPA constructors with arguments in #1604
• Maintenance
  • Update release instructions in #1593
  • Switch code coverage aggregation to use built-in jacoco plugin by @​subhramit in #1598
  • Bump Error Prone to 2.50.0 in #1601

Version 0.13.6

(NOTE: originally these notes appeared with the 0.13.5 release, but that release was pushed incorrectly due to an error in our release process.)

Includes various bug fixes, particularly in JSpecify mode. Also, the nullaway-annotations artifact now includes a @Contract annotation. NullAway also now has a built-in handler to reason about field initialization in classes managed by Jakarta Persistence.

Work has begun on support for wildcards in JSpecify mode. Currently, this support is off by default, guarded by the configuration flag HandleWildcardGenerics. The support still has multiple known bugs, and we do not yet recommend enabling it.

• Initial subtype checking for wildcards (#1520)
• Handle subtype checking for wildcard super bounds (#1547)
• Handle most remaining wildcard subtyping / containment cases (#1548)
• Test case for #1528 (#1556)
• Initial inference for wildcards (#1549)
• Fix wildcard inference bug with method references (#1553)
• Fix nullability for return and parameter wildcards (#1558)
• Test case for trick to assert chain of accesses is non-null (#1566)
• Improve inference failure error message (#1567)
• Adjust more TreePaths to have correct leaf before calling getTreeType (#1570)
• Add Contract annotation to nullaway-annotations by @​codingkiddo (#1569)
• Run inference for generic method calls nested inside receivers (#1571)
• Refactor hasAnyAnnotationMatching method (#1583)
• Improve handling of var-declared local variables (#1573)
• Compensate for more annotations inserted by javac (#1574)
• Enable test for issue 1500 and add comment (#1560)
• Use ground target types when handling lambdas and method refs passed to generic methods (#1575)
• Fix for unbounded wildcard passed to @NullUnmarked type variable (#1577)
• Detect and warn on annotations directly on wildcard types (#1579)
• Enable HandleWildcardGenerics flag when building NullAway (#1586)
• Report error when @​Initializer is used on a constructor by @​Vinu2111 (#1546)
• Add a handler for Jakarta Persistence to reason about field initialization (#1584)
• Revert "Report error when @​Initializer is used on a constructor (#1546)" (#1588)

... (truncated)

Commits

• 2e1f2ea Prepare for release 0.13.7.
• 32c03a4 Changelog for release 0.13.7 (#1609)
• 8dd848a Report init warnings for JPA constructors with arguments (#1604)
• 0b3145b Bump Error Prone to 2.50.0 (#1601)
• f4d8951 Switch code coverage aggregation to use built-in jacoco plugin (#1598)
• 2b34aa8 Add support for filtering null objects from streams (#1597)
• 0f2c373 Update release instructions (#1593)
• 33eab56 Prepare next development version.
• fa850b5 Prepare for release 0.13.6.
• e188182 Notes for 0.13.6 release (#1592)
• Additional commits viewable in compare view

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!