Bump com.uber.nullaway:nullaway from 0.12.10 to 0.13.1

[dependabot]

Bumps com.uber.nullaway:nullaway from 0.12.10 to 0.13.1.

Release notes

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

NullAway 0.13.1

• Improve verification of !null -> !null contracts (#1441)
• Substitute inferred @NonNull types for generic method inference (#1445)
• Better support for some contracts with boolean argument constraints (#1447)
• Maintenance
  • Add junit-framework as another integration test (#1446)

NullAway 0.13.0

NullAway now requires a minimum of JDK 17 and Error Prone 2.36.0 to run; we bump the version to 0.13.0 to reflect these updated requirements. There are also many improvements to JSpecify mode support, and several nice changes and improvements from first-time contributors.

• Support added for JUnit's @​TempDir by @​romainmoreau (#1387)
• Use OptimizedLibraryModels for method type variable upper bounds (#1388)
• Add @​InjectWireMock as known excluded field annotation (#1391)
• Require JDK 17 to run NullAway (#1394)
• Support adding nested nullability annotations in library models (#1407)
• Add library model for AtomicReferenceFieldUpdater (#1409)
• Correctly get parameter types for a lambda whose type was inferred (#1348)
• Add Mockito annotations to default excluded field annotations by @​murdos (#1418)
• Properly identify annotations directly on the array element type of a Symbol (#1419)
• Update to Checker Framework 3.53.0 (#1429)
• JSpecify: Apply annotations on type variables to lambdas in more cases (#1428)
• Migrate AutoValue to Records by @​rishikraj990 (#1415)
• Bump minimum Error Prone version to 2.36.0, and add detection of nullable dereference by switch expressions (#1427)
• JSpecify: Improve handling of method references (#1430)
• Allow suppressing nullaway on individual parameters by @​jackwickham (#1436)
• Update jdk-javac-plugin to contain nested annotations by @​haewiful (#1432)
• Maintenance
  • Delete code to generate library models from source (#1385)
  • Refactor: Migration to Version Catalog completed by @​vitinh0z (#1386)
  • Bump Gradle to 9.2.1 (#1392)
  • Update to Error Prone 2.45.0 (#1401)
  • Stop matching switch expression kind using strings (#1404)
  • Refactoring: clarify docs and naming for RestoreNullnessAnnotationsVisitor (#1406)
  • Refactoring: rename method and field (#1405)
  • Run NullAway on jdk-javac-plugin code (#1408)
  • Clarify comment in test (#1411)
  • Enable PatternMatchingInstanceOf check and fix all warnings (#1412)
  • Enable StatementSwitchToExpressionSwitch check and fix all warnings (#1413)
  • bump and remove some dependencies (#1414)
  • Update minimum supported Error Prone version to 2.25.0 (#1421)
  • Update CI to run builds on JDK 25 (#1422)
  • Various cleanups suggested by IntelliJ (#1423)
  • Convert test data in main NullAway tests to use text blocks (#1424)
  • Refactor CoreTests and UnannotatedTests to use addSourceLines and inline test data by @​cobayo (#1426)
  • Refactor ContractsTests to use Java text blocks by @​cobayo (#1435)
  • Update Error Prone and errorprone-plugin versions (#1434)

NullAway 0.12.15

... (truncated)

Changelog

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

Version 0.13.1

• Improve verification of !null -> !null contracts (#1441)
• Substitute inferred @NonNull types for generic method inference (#1445)
• Better support for some contracts with boolean argument constraints (#1447)
• Maintenance
  • Add junit-framework as another integration test (#1446)

Version 0.13.0

NullAway now requires a minimum of JDK 17 and Error Prone 2.36.0 to run; we bump the version to 0.13.0 to reflect these updated requirements. There are also many improvements to JSpecify mode support, and several nice changes and improvements from first-time contributors.

• Support added for JUnit's @​TempDir by @​romainmoreau (#1387)
• Use OptimizedLibraryModels for method type variable upper bounds (#1388)
• Add @​InjectWireMock as known excluded field annotation (#1391)
• Require JDK 17 to run NullAway (#1394)
• Support adding nested nullability annotations in library models (#1407)
• Add library model for AtomicReferenceFieldUpdater (#1409)
• Correctly get parameter types for a lambda whose type was inferred (#1348)
• Add Mockito annotations to default excluded field annotations by @​murdos (#1418)
• Properly identify annotations directly on the array element type of a Symbol (#1419)
• Update to Checker Framework 3.53.0 (#1429)
• JSpecify: Apply annotations on type variables to lambdas in more cases (#1428)
• Migrate AutoValue to Records by @​rishikraj990 (#1415)
• Bump minimum Error Prone version to 2.36.0, and add detection of nullable dereference by switch expressions (#1427)
• JSpecify: Improve handling of method references (#1430)
• Allow suppressing nullaway on individual parameters by @​jackwickham (#1436)
• Update jdk-javac-plugin to contain nested annotations by @​haewiful (#1432)
• Maintenance
  • Delete code to generate library models from source (#1385)
  • Refactor: Migration to Version Catalog completed by @​vitinh0z (#1386)
  • Bump Gradle to 9.2.1 (#1392)
  • Update to Error Prone 2.45.0 (#1401)
  • Stop matching switch expression kind using strings (#1404)
  • Refactoring: clarify docs and naming for RestoreNullnessAnnotationsVisitor (#1406)
  • Refactoring: rename method and field (#1405)
  • Run NullAway on jdk-javac-plugin code (#1408)
  • Clarify comment in test (#1411)
  • Enable PatternMatchingInstanceOf check and fix all warnings (#1412)
  • Enable StatementSwitchToExpressionSwitch check and fix all warnings (#1413)
  • bump and remove some dependencies (#1414)
  • Update minimum supported Error Prone version to 2.25.0 (#1421)
  • Update CI to run builds on JDK 25 (#1422)
  • Various cleanups suggested by IntelliJ (#1423)
  • Convert test data in main NullAway tests to use text blocks (#1424)
  • Refactor CoreTests and UnannotatedTests to use addSourceLines and inline test data by @​cobayo (#1426)

... (truncated)

Commits

• cc9dab8 Prepare for release 0.13.1.
• 99025e4 Changelog for release 0.13.1 (#1449)
• b27f13d Better support for some contracts with boolean argument constraints (#1447)
• 4c619e8 Add junit-framework as another integration test (#1446)
• c27f3f4 Substitute inferred @NonNull types for generic method inference (#1445)
• fc6d956 Improve verification of !null -> !null contracts (#1441)
• 7f8bbca Prepare next development version.
• 36403f3 Prepare for release 0.13.0.
• 12fe2a1 Changelog for release 0.13.0 (#1439)
• 32febbd Update jdk-javac-plugin to contain nested annotations (#1432)
• Additional commits viewable in compare view

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 <dependency name> 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)