Bump org.checkerframework:checker-qual from 3.40.0 to 3.42.0 (opensea…

…rch-project#3857)

Bumps
[org.checkerframework:checker-qual](https://github.com/typetools/checker-framework)
from 3.40.0 to 3.42.0.
<details>
<summary>Release notes</summary>
<p><em>Sourced from <a
href="https://github.com/typetools/checker-framework/releases">org.checkerframework:checker-qual's
releases</a>.</em></p>
<blockquote>
<h2>Checker Framework 3.42.0</h2>
<h2>Version 3.42.0 (December 15, 2023)</h2>
<p><strong>User-visible changes:</strong></p>
<p>Method annotation <code>@AssertMethod</code> indicates that a method
checks a value and possibly throws an assertion. Using it can make
flow-sensitive type refinement more effective.</p>
<p>In <code>org.checkerframework.common.util.debug</code>, renamed
<code>EmptyProcessor</code> to <code>DoNothingProcessor</code>.
Removed
<code>org.checkerframework.common.util.report.DoNothingChecker</code>.
Moved <code>ReportChecker</code> from
<code>org.checkerframework.common.util.report</code> to
<code>org.checkerframework.common.util.count.report</code>.</p>
<h2>Checker Framework 3.41.0</h2>
<h2>Version 3.41.0 (December 4, 2023)</h2>
<p><strong>User-visible changes:</strong></p>
<p>New command-line options:
-AassumePureGetters Unsoundly assume that every getter method is
pure</p>
<p><strong>Implementation details:</strong></p>
<p>Added method <code>isDeterministic()</code> to the
<code>AnnotationProvider</code> interface.</p>
<p><code>CFAbstractValue#leastUpperBound</code> and
<code>CFAbstractValue#widenUpperBound</code> are now final. Subclasses
should override method <code>CFAbstractValue#upperBound(V, TypeMirror,
boolean)</code> instead.</p>
<p><strong>Closed issues:</strong></p>
<p><a
href="https://redirect.github.com/typetools/checker-framework/issues/1497">#1497</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/3345">#3345</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6037">#6037</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6204">#6204</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6276">#6276</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6282">#6282</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6290">#6290</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6296">#6296</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6319">#6319</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6327">#6327</a>.</p>
</blockquote>
</details>
<details>
<summary>Changelog</summary>
<p><em>Sourced from <a
href="https://github.com/typetools/checker-framework/blob/master/docs/CHANGELOG.md">org.checkerframework:checker-qual's
changelog</a>.</em></p>
<blockquote>
<h2>Version 3.42.0 (December 15, 2023)</h2>
<p><strong>User-visible changes:</strong></p>
<p>Method annotation <code>@AssertMethod</code> indicates that a method
checks a value and
possibly throws an assertion. Using it can make flow-sensitive type
refinement
more effective.</p>
<p>In <code>org.checkerframework.common.util.debug</code>, renamed
<code>EmptyProcessor</code> to <code>DoNothingProcessor</code>.
Removed
<code>org.checkerframework.common.util.report.DoNothingChecker</code>.
Moved <code>ReportChecker</code> from
<code>org.checkerframework.common.util.report</code> to
<code>org.checkerframework.common.util.count.report</code>.</p>
<h2>Version 3.41.0 (December 4, 2023)</h2>
<p><strong>User-visible changes:</strong></p>
<p>New command-line options:
-AassumePureGetters Unsoundly assume that every getter method is
pure</p>
<p><strong>Implementation details:</strong></p>
<p>Added method <code>isDeterministic()</code> to the
<code>AnnotationProvider</code> interface.</p>
<p><code>CFAbstractValue#leastUpperBound</code> and
<code>CFAbstractValue#widenUpperBound</code> are now
final. Subclasses should override method
<code>CFAbstractValue#upperBound(V, TypeMirror, boolean)</code>
instead.</p>
<p><strong>Closed issues:</strong></p>
<p><a
href="https://redirect.github.com/typetools/checker-framework/issues/1497">#1497</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/3345">#3345</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6037">#6037</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6204">#6204</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6276">#6276</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6282">#6282</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6290">#6290</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6296">#6296</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6319">#6319</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6327">#6327</a>.</p>
</blockquote>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a
href="https://github.com/typetools/checker-framework/commit/ed3a237e04037e85850d81ef2031e4015893e54f"><code>ed3a237</code></a>
new release 3.42.0</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/9053af5f89c0c62608a26b241716d58bbe0af28b"><code>9053af5</code></a>
Prep for release.</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/886d0b384c9e8099bd6e3c07839a834d6f6823f2"><code>886d0b3</code></a>
Add support for opt.map(type::method) pattern. (<a
href="https://redirect.github.com/typetools/checker-framework/issues/6370">#6370</a>)</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/4b5e2c96a99eaa2171b740af5b53732b9d003d55"><code>4b5e2c9</code></a>
ReportChecker: Fix array access crash</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/3eb26a972031694983cd351b88fd04624be62e0b"><code>3eb26a9</code></a>
Fix guava-assertions.astub</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/7906a832ee24b8fa134d5883667f1d408a286502"><code>7906a83</code></a>
Add <code>-y</code>, a second command-line option for exclusion</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/b38ed803cc4e07e98a2ce9d5d71d0c2f6063dfab"><code>b38ed80</code></a>
Fix Kotlin instructions</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/ae8a6e1d1ec113b25667e9a1ac13ce020dc12fe8"><code>ae8a6e1</code></a>
Add support for OptionalDouble, OptionalInt, OptionalLong</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/17226ff978da72f0acccfdf660d6d1d788e544d2"><code>17226ff</code></a>
Add Optional method annotations</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/964d02799dc8642c3cf762fdac8ae91efea27983"><code>964d027</code></a>
Permit
<code>Stream.filter(Optional::isPresent).map(Optional::get)</code></li>
<li>Additional commits viewable in <a
href="https://github.com/typetools/checker-framework/compare/checker-framework-3.40.0...checker-framework-3.42.0">compare
view</a></li>
</ul>
</details>
<br />

[![Dependabot compatibility
score](https://dependabot-badges.githubapp.com/badges/compatibility_score?dependency-name=org.checkerframework:checker-qual&package-manager=gradle&previous-version=3.40.0&new-version=3.42.0)](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores)

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-automerge-start)
[//]: # (dependabot-automerge-end)

---

<details>
<summary>Dependabot commands and options</summary>
<br />

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)

</details>

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
(cherry picked from commit 604c25f)

build.gradle

@@ -504,6 +504,7 @@ configurations {
             force "org.apache.httpcomponents:httpasyncclient:4.1.5"
             force 'org.checkerframework:checker-qual:3.40.0'
             force "com.google.errorprone:error_prone_annotations:2.23.0"
+            force "org.checkerframework:checker-qual:3.42.0"
             force "ch.qos.logback:logback-classic:1.2.13"
         }
     }
@@ -641,7 +642,7 @@ dependencies {
     runtimeOnly 'org.apache.ws.xmlschema:xmlschema-core:2.3.1'
     runtimeOnly 'org.apache.santuario:xmlsec:2.3.4'
     runtimeOnly "com.github.luben:zstd-jni:${versions.zstd}"
-    runtimeOnly 'org.checkerframework:checker-qual:3.40.0'
+    runtimeOnly 'org.checkerframework:checker-qual:3.42.0'
     runtimeOnly "org.bouncycastle:bcpkix-jdk15to18:${versions.bouncycastle}"
     runtimeOnly 'org.scala-lang.modules:scala-java8-compat_3:1.0.2'