build(deps-dev): Bump org.checkerframework:checker-qual from 3.39.0 t…

…o 3.40.0 (#1127)

Bumps
[org.checkerframework:checker-qual](https://github.com/typetools/checker-framework)
from 3.39.0 to 3.40.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.40.0</h2>
<h2>Version 3.40.0 (November 1, 2023)</h2>
<p><strong>User-visible changes:</strong></p>
<p>Optional Checker: <code>checker-util.jar</code> defines
<code>OptionalUtil.castPresent()</code> for suppressing false positive
warnings from the Optional Checker.</p>
<p><strong>Closed issues:</strong></p>
<p><a
href="https://redirect.github.com/typetools/checker-framework/issues/4947">#4947</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6179">#6179</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6215">#6215</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6218">#6218</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6222">#6222</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6247">#6247</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6259">#6259</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6260">#6260</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.40.0 (November 1, 2023)</h2>
<p><strong>User-visible changes:</strong></p>
<p>Optional Checker: <code>checker-util.jar</code> defines
<code>OptionalUtil.castPresent()</code> for
suppressing false positive warnings from the Optional Checker.</p>
<p><strong>Closed issues:</strong></p>
<p><a
href="https://redirect.github.com/typetools/checker-framework/issues/4947">#4947</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6179">#6179</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6215">#6215</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6218">#6218</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6222">#6222</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6247">#6247</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6259">#6259</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6260">#6260</a>.</p>
</blockquote>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a
href="https://github.com/typetools/checker-framework/commit/b934cbb98e6b86cf30363c4a276d57de36710538"><code>b934cbb</code></a>
new release 3.40.0</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/5a200da65abd92b9bb59ddef775a697850f9fbd6"><code>5a200da</code></a>
Fix link.</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/5f0473d0e7eea70b163dff55ff5f200790c10b55"><code>5f0473d</code></a>
Prep for release.</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/aecdb0e1c833f125c792c983d8591e59d48b9a00"><code>aecdb0e</code></a>
RLC: allow wrapper types to have a differently-named <a
href="https://github.com/MustCall"><code>@​MustCall</code></a> method
from wr...</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/a76764fb9f1f1f3f2c774e9d508f12d7c41e5094"><code>a76764f</code></a>
Add <code>@documented</code> tag to <code>RequiresPresent</code></li>
<li><a
href="https://github.com/typetools/checker-framework/commit/e2dbaac2804bd1c35a447633f18e7a45a1fcb44a"><code>e2dbaac</code></a>
Allocate more memory to testing (<a
href="https://redirect.github.com/typetools/checker-framework/issues/6275">#6275</a>)</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/236c0f04ed5afff8ce5dba90a24e0a659b8e940f"><code>236c0f0</code></a>
Enable Gradle build cache (<a
href="https://redirect.github.com/typetools/checker-framework/issues/6274">#6274</a>)</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/365d31741fb4296b1419f1c639487aa5ee2499c4"><code>365d317</code></a>
Document the Dataflow Framework (<a
href="https://redirect.github.com/typetools/checker-framework/issues/6268">#6268</a>)</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/2a02885850d36b446eb3aa58c88c5cfc39a69f18"><code>2a02885</code></a>
Add <code>@RequiresPresent</code> annotation</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/1f343d7151c2f23cf586f7aa63222d4f4ae7f7b3"><code>1f343d7</code></a>
Implement <code>@EnsuresPresentIf</code> postcondition annotation</li>
<li>Additional commits viewable in <a
href="https://github.com/typetools/checker-framework/compare/checker-framework-3.39.0...checker-framework-3.40.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=maven&previous-version=3.39.0&new-version=3.40.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] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

pom.xml

@@ -102,7 +102,7 @@
 		<assertj.version>3.24.2</assertj.version>
 		<build-helper-maven-plugin.version>3.4.0</build-helper-maven-plugin.version>
 		<byte-buddy.version>1.14.9</byte-buddy.version>
-		<checker-qual.version>3.39.0</checker-qual.version>
+		<checker-qual.version>3.40.0</checker-qual.version>
 		<checkstyle.version>10.12.4</checkstyle.version>
 		<classgraph.version>4.8.164</classgraph.version>
 		<compile-testing.version>0.21.0</compile-testing.version>