[renovate]

This PR contains the following updates:

Package	Change	Age	Confidence
com.uber.nullaway:nullaway	0.14.2 → 0.14.3

---

Release Notes

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

v0.14.3

Many bug fixes in this release. Thanks especially to @​vlsi and @​subhramit for
all the contributions! As they are now committers, their many contributions are
not credited individually below.

Two bug fixes of note are #​2005 and #​2003, which may lead to new warnings even
outside JSpecify mode.

We have also added initial support for @PolyNull in library models in #​1813.
We will continue to enhance this support, but it should be helpful in removing
some false positives from JSpecifyExperimental mode.

• Allow configuring suppression-remover source encoding (#​1894)
• Compute a call's executable type once per generic inference by @​ericschlarmann (#​1896)
• Skip nested annotation restoration from raw source types (#​1898)
• Refine argument nullness after Objects.equals calls by @​Beluomini (#​1900)
• Keep nullable map values nullable after containsKey (#​1902)
• Read nullable fields from JSpecify JDK models into astubx (#​1901)
• Avoid initialization-check crashes in @NullMarked constructors by @​ZedingZhang (#​1929)
• Store types of implicit lambda parameters during inference (#​1930)
• Compute erasure before binary promotion (#​1935)
• Preserve captured type variables during constraint generation (#​1941)
• Cache conversion of MethodSymbols to MethodRefs (#​1964)
• Restore nullness annotations from implicit wildcard bounds (#​1967)
• Use call-specific generic inference variables (#​1965)
• Account for nullable map values in getOrDefault (#​1985)
• Fix crash in map callbacks after an unmarked or suppressed filter predicate (#​1996)
• Strip reference casts when computing access paths (#​1997)
• Handle negated null checks in multi-argument boolean contracts (#​1998)
• Skip parentheses around a lambda or method reference passed to unmarked code (#​1999)
• Fix crash on method references to annotated array types (#​2000)
• Skip a lower-bounded wildcard when restoring annotations on a call type (#​2001)
• Strip parentheses before handlers match stream callbacks and boolean literals (#​2002)
• Check explicitly typed lambda parameters against unmarked interface methods (#​2003)
• Add PolyNull library models and apply them to Optional.orElseGet and Map.computeIfAbsent (#​1813)
• Report unboxing of a @​Nullable operand inside a primitive conditional expression (#​2005)
• Report unboxing of a @​Nullable result inside a primitive switch expression (#​2006)
• Fix crash on null-marked code nested in unmarked lambdas and local classes (#​2007)
• Strip parentheses before the futures and gRPC handlers match an argument (#​2010)
• Recognize boolean constants behind a cast in EnsuresNonNullIf and stream filters (#​2011)
• Treat a parenthesized lambda or method reference like an unwrapped one in generics checks (#​2012)
• Recognize a cast null check in a boolean contract argument (#​2013)
• Keep the access path of a map key, call argument, or array index cast to its own type (#​2014)
• Check nested nullness of explicitly typed lambda parameters (#​2015)
• Keep distinct constant map keys and call arguments on distinct access paths (#​2016)
• Apply conditional library return models to method references (#​1968)
• Reject conflicting fixed parameter models regardless of PolyNull (#​2025)
• Keep the boxing wrapper in the identity of a variable map key (#​2017)
• Maintenance
  • Report diff coverage after each test run, quoting the changed lines the run did not execute and the branches it took one way, and writing the whole report to <module>/build/reports/diff-coverage/test.txt; a // diff-coverage: ignore comment moves a line out of that list without changing the counts (#​1833)
  • Update Gradle to 9.8.1 (#​1915, #​1959)
  • Update build plugins (#​1878, #​1917, #​1918, #​1969)
  • Update library and test dependencies (#​1884, #​1885, #​1921, #​1922, #​1923, #​1925, #​1927, #​1970, #​1973, #​1974, #​1976, #​1977, #​1978, #​1981)
  • Update GitHub Actions (#​1920, #​1928, #​1979)
  • Decouple build, lint and test CI checks (#​1906)
  • Update instructions for building jspecify-jdk.astubx (#​1914)
  • Add script to re-generate jspecify-jdk.astubx (#​1916)
  • Update dependency python to 3.14 (#​1924)
  • Update NullAway JMH benchmark to 0.14.2 (#​1962)
  • Add pitestDiff to mutation-test the lines a branch changed (#​1975)
  • Tell agents that Error Prone reports every mismatched test line (#​2018)
  • Update JSpecify JDK astubx (#​2020)
  • Keep git maintenance from racing temp directory cleanup in buildSrc tests (#​2008)
  • Pin oracle-actions/setup-java to the v1.5.0 tag (#​2021)
  • Build third-party projects at pinned commits with patches until upstream merges fixes (#​2026)
  • Enable zizmor job for merge queue (#​2039)

---

Configuration

📅 Schedule: (UTC)

• Branch creation
  • Between day 2 and 31 of the month (* * 2-31 * *)
• Automerge
  • At any time (no schedule defined)

🚦 Automerge: Enabled.

♻ Rebasing: Whenever PR is behind base branch, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

---

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

---

This PR was generated by Mend Renovate. View the repository job log.