Bump org.checkerframework:checker-qual from 3.39.0 to 3.40.0

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>

Fixes #285

COPYBARA_INTEGRATE_REVIEW=#285 from google:dependabot/maven/org.checkerframework-checker-qual-3.40.0 c47260f
PiperOrigin-RevId: 578954263

pom.xml

@@ -131,7 +131,7 @@
       <dependency>
         <groupId>org.checkerframework</groupId>
         <artifactId>checker-qual</artifactId>
-        <version>3.39.0</version>
+        <version>3.40.0</version>
       </dependency>
 
       <!-- Test dependencies -->