Update dependencies

[funfix]

This PR contains the following updates:

Package	Type	Update	Change
gradle (source)		patch	9.7.0 → 9.7.1
com.uber.nullaway:nullaway	dependencies	minor	0.13.8 → 0.14.0

---

Release Notes

gradle/gradle (gradle)

v9.7.1: 9.7.1

Compare Source

The Gradle team is excited to announce Gradle 9.7.1.

This is a patch release for 9.7.0. We recommend using 9.7.1 instead of 9.7.0.

Here are the highlights of 9.7.0 release:

• Isolated Projects graduates to incubating
• Broader Configuration Cache compatibility
• Resilient Sync helps you fix broken builds
• More source locations in problem reports

Read the Release Notes

We would like to thank the following community members for their contributions to this release of Gradle:
Adam,
Aman Gautam,
Aman Kumar,
Anton Dubrouski,
Aurimas,
gbhavya07,
Josh Friend,
nicklauslittle-gov,
Pragati,
project516,
Qin Mi,
Ravi,
sk-reddy17,
Suvrat Acharya,
Yongshun Ye.

Upgrade instructions

Switch your build to use Gradle 9.7.1 by updating your wrapper:

./gradlew :wrapper --gradle-version=9.7.1 && ./gradlew :wrapper

See the Gradle 9.x upgrade guide to learn about deprecations, breaking changes and other considerations when upgrading.

For Java, Groovy, Kotlin and Android compatibility, see the full compatibility notes.

Reporting problems

If you find a problem with this release, please file a bug on GitHub Issues adhering to our issue guidelines.
If you're not sure you're encountering a bug, please use the forum.

We hope you will build happiness with Gradle, and we look forward to your feedback via Twitter or on GitHub.

uber/NullAway (com.uber.nullaway:nullaway)

v0.14.0

This release has significant improvements to JSpecify support, including
improved support for wildcards and integration of the standard library
nullability annotations from https://github.com/jspecify/jdk. Much of this
new support is gated behind a new JSpecifyExperimental flag, which is off by
default. We disable the flag by default since this new support leads to many
new errors in existing projects (mostly from the new JDK models), and because we
need more real-world testing before enabling it by default. We encourage
projects to enable the JSpecifyExperimental flag (alongside JSpecify mode) and
to report any issues that arise. We expect to turn JSpecifyExperimental on
by default in a future release.

Aside from the above, you may observe some newly reported warnings in JSpecify
mode, due to other checking improvements.

This release also removes the LegacyAnnotationLocations flag. Type-use
annotations must now be placed correctly on qualified and array types, even
outside JSpecify mode, see details here:

https://github.com/uber/NullAway/wiki/JSpecify-Support#type-use-annotation-placement

Beyond the above, we had useful changes from a variety of new contributors;
thanks so much!

• Remove LegacyAnnotationLocations flag (#​1640)
• Handle signature-polymorphic calls in InvocationArguments (#​1644)
• Fix handling of reference to method with @Nullable parameter from library model (#​1642)
• Enable JSpecify JDK models (under a flag) (#​1641)
• Enable JSpecify JDK models for regression tests (#​1646)
• Fix bug with lambdas assigned to locals with a wildcard in their type (#​1647)
• Add JSpecifyExperimental configuration flag (#​1648)
• Improve wildcard mismatch diagnostics for identical-looking types (#​1627)
• Enable inference failure warnings in experimental mode, and fix related bug in library models (#​1649)
• Fix inference bug with generic instance methods (#​1654)
• Fixes related to captured types and inference (#​1655)
• Augment NullAway error / fix serialization for Annotator auto fix mode by @​nimakarimipour (#​1322)
• More consistent checks for captured types (#​1662)
• Update to JSpecify 1.0.1 (#​1665)
• Add test for issue 1671 (#​1673)
• Test case and fix for issue 1672 (#​1674)
• Fix subtype checking for nested captured types (#​1663)
• Handle interaction of captured types and library models (#​1666)
• Follow-on fix for restoring annotation on captured type wildcards (#​1667)
• Fix subtle issue with invalid TreePaths (#​1681)
• Honor @​Contract when a @​Nullable method is used as a method reference by @​Eljees (#​1679)
• Defensively thread path into NestedTypeVarSubstitutionRepairVisitor (#​1683)
• More TreePath hardening (#​1684)
• Harden TypeSubstitutionUtils type copies (#​1669)
• Handle unbound wildcards and interactions with captured types better (#​1668)
• Improve error messages involving capture variables (#​1675)
• Update JarInfer to skip synthetic methods (#​1686)
• Fix bug with storing library model type variable upper bounds (#​1687)
• Fixes for processing return array types and multi-dimensional array types in AstubxGenerator (#​1689)
• Pretty-print substituted types in bad-override error messages by @​dbwiddis (#​1697)
• Add test for issue 1693 (#​1698)
• JSpecify: support annotated type arguments from an enclosing class by @​dbwiddis (#​1699)
• Fix crash in @​Contract dataflow init for zero-argument methods by @​dbwiddis (#​1701)
• Support method-based conditional library model postconditions by @​Shankar-v27 (#​1677)
• Update JSpecify JDK astubx (#​1702)
• JSpecify: preserve array element nullability through requireNonNull by @​kamilkrzywanski (#​1645)
• Add positive test cases for annotations on generic method return types by @​dbwiddis (#​1704)
• Add regression test for inner classes inheriting enclosing type arguments by @​dbwiddis (#​1703)
• Fix JSpecify false negative when override narrows method type variable bound by @​arimu1 (#​1682)
• Fix bug with library-modeled return types, method references, and streams (#​1706)
• Rename MethodInferenceResult to CallInferenceResult (#​1692)
• Generalize generic-call inference internals to call expressions (#​1707)
• Basic nullability inference for diamond constructor type arguments (#​1708)
• Handle nested generic diamond call inference (#​1544)
• Rename getExecutableTypeForInference and improve Javadoc (#​1709)
• Maintenance
  • Add policy on AI-generated PRs (#​1635)
  • Enable CodeRabbit reviews for all base branches (#​1650)
  • Fix Javadoc errors and allow future Javadoc errors to fail the build (#​1652)
  • Test on JDK 28 early access (#​1653)
  • Update to latest Shadow plugin (#​1658)
  • Remove duplicate NestedAnnotationInfo source from NullAway module (#​1659)
  • Fix Javadoc warnings (#​1660)
  • Fixes to JarInfer test harness and test inputs (#​1670)
  • Address zizmor findings (#​1676)
  • Update to Checker Dataflow 4.2.2 (#​1678)
  • Convert various classes to records (#​1685)
  • Update script to use snapshot builds in integration tests (#​1691)
  • Replace deprecated addSourceFile calls with addSourceLines in FrameworkTests by @​dbwiddis (#​1695)
  • Migrate InitializationTests to addSourceLines by @​abdeltaehass (#​1694)
  • Migrate anonymous class test to addSourceLines by @​terminalchai (#​1696)

---

Configuration

📅 Schedule: (UTC)

• Branch creation
  • At any time (no schedule defined)
• Automerge
  • At any time (no schedule defined)

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

👻 Immortal: This PR will be recreated if closed unmerged. Get config help if that's undesired.

---

• If you want to rebase/retry this PR, check this box

---

This PR has been generated by Mend Renovate CLI.