Bump checker-qual from 3.12.0 to 3.13.0

Bumps [checker-qual](https://github.com/typetools/checker-framework) from 3.12.0 to 3.13.0.
<details>
<summary>Release notes</summary>
<p><em>Sourced from <a href="https://github.com/typetools/checker-framework/releases">checker-qual's releases</a>.</em></p>
<blockquote>
<h2>Checker Framework 3.13.0</h2>
<h2>Version 3.13.0 (May 3, 2021)</h2>
<p><strong>Survey:</strong></p>
<p>If you use the Checker Framework, please answer a 3-question survey about what version of Java you use.  It will take less than 1 minute to complete.  Please answer it at
<a href="https://docs.google.com/forms/d/1Bbt34c_3nDItHsBnmEfumoyrR-Zxhvo3VTHucXwfMcQ">https://docs.google.com/forms/d/1Bbt34c_3nDItHsBnmEfumoyrR-Zxhvo3VTHucXwfMcQ</a> .
Thanks!</p>
<p><strong>User-visible changes:</strong></p>
<p>Command-line argument -AassumeKeyFor makes the Nullness Checker and Map Key Checker unsoundly assume that the argument to <code>Map.get</code> is a key for the receiver map.</p>
<p>Warning message keys are shorter.  This reduces clutter in error messages and in <code>@SuppressWarnings</code> annotations.  Most &quot;.type.invalid&quot;, &quot;.type.incompatible&quot;, &quot;.invalid&quot;, and &quot;.not.satisfied&quot; suffixes and &quot;type.invalid.&quot; prefixes have been removed, and most &quot;.invalid.&quot; substrings have been changed to &quot;.&quot;.</p>
<p>The Checker Framework no longer crashes on code that contains binding variables (introduced in Java 14 for <code>instanceof</code> pattern matching), and such variables are reflected in the control flow graph (CFG).  Thanks to Chris Day for this change.  However, note that the Checker Framework only has full support for Java 8 and Java 11.</p>
<p>New command-line argument <code>-AstubWarnNote</code> makes stub file warnings notes rather than warnings.</p>
<p>Removed the StubGenerator section from the manual, because changes in JDK 11 have broken the StubGenerator program.</p>
<p><strong>Implementation details:</strong></p>
<p>Method renamings:</p>
<ul>
<li><code>DependentTypesHelper.atReturnType</code> =&gt; <code>atMethodBody</code></li>
</ul>
<p><strong>Closed issues:</strong>
<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/1268">#1268</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3039">#3039</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4410">#4410</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4550">#4550</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4558">#4558</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4563">#4563</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4566">#4566</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4567">#4567</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4571">#4571</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4584">#4584</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4591">#4591</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4594">#4594</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4600">#4600</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">checker-qual's changelog</a>.</em></p>
<blockquote>
<h2>Version 3.13.0 (May 3, 2021)</h2>
<p><strong>Survey:</strong></p>
<p>If you use the Checker Framework, please answer a 3-question survey about what
version of Java you use.  It will take less than 1 minute to complete.  Please
answer it at
<a href="https://docs.google.com/forms/d/1Bbt34c_3nDItHsBnmEfumoyrR-Zxhvo3VTHucXwfMcQ">https://docs.google.com/forms/d/1Bbt34c_3nDItHsBnmEfumoyrR-Zxhvo3VTHucXwfMcQ</a> .
Thanks!</p>
<p><strong>User-visible changes:</strong></p>
<p>Command-line argument -AassumeKeyFor makes the Nullness Checker and Map Key
Checker unsoundly assume that the argument to <code>Map.get</code> is a key for the
receiver map.</p>
<p>Warning message keys are shorter.  This reduces clutter in error messages and in
<code>@SuppressWarnings</code> annotations.  Most &quot;.type.invalid&quot;, &quot;.type.incompatible&quot;,
&quot;.invalid&quot;, and &quot;.not.satisfied&quot; suffixes and &quot;type.invalid.&quot; prefixes have been
removed, and most &quot;.invalid.&quot; substrings have been changed to &quot;.&quot;.</p>
<p>The Checker Framework no longer crashes on code that contains binding
variables (introduced in Java 14 for <code>instanceof</code> pattern matching), and
such variables are reflected in the control flow graph (CFG).  Thanks to
Chris Day for this change.  However, note that the Checker Framework only
has full support for Java 8 and Java 11.</p>
<p>New command-line argument <code>-AstubWarnNote</code> makes stub file warnings notes
rather than warnings.</p>
<p>Removed the StubGenerator section from the manual, because changes in JDK 11
have broken the StubGenerator program.</p>
<p><strong>Implementation details:</strong></p>
<p>Method renamings:</p>
<ul>
<li><code>DependentTypesHelper.atReturnType</code> =&gt; <code>atMethodBody</code></li>
</ul>
<p><strong>Closed issues:</strong>
<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/1268">#1268</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3039">#3039</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4410">#4410</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4550">#4550</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4558">#4558</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4563">#4563</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4566">#4566</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4567">#4567</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4571">#4571</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4584">#4584</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4591">#4591</a>,
<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4594">#4594</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4600">#4600</a>.</p>
</blockquote>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a href="https://github.com/typetools/checker-framework/commit/7d68bc236e4a08c721ac183c2fec5e635c75fdd3"><code>7d68bc2</code></a> new release 3.13.0</li>
<li><a href="https://github.com/typetools/checker-framework/commit/a83d49eee8d54bffd8fa6705d620f28016117fb7"><code>a83d49e</code></a> Merge branch 'master' of github.com:typetools/checker-framework</li>
<li><a href="https://github.com/typetools/checker-framework/commit/c845981481ddd26e8de4f9b8a64fe3539c22c1f1"><code>c845981</code></a> Prep for 3.13.0 release.</li>
<li><a href="https://github.com/typetools/checker-framework/commit/fd2a56f05209c0d37e80ea7d04afbb862d584b51"><code>fd2a56f</code></a> Add documentation about internal Gradle tasks that appear in Gradle output (#...</li>
<li><a href="https://github.com/typetools/checker-framework/commit/9a0e77249c68f0edb23b31bb70deacf4beb83b84"><code>9a0e772</code></a> Documentation tweaks (<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4620">#4620</a>)</li>
<li><a href="https://github.com/typetools/checker-framework/commit/6eecc20d4379214addf54ac2f206ce1daa586403"><code>6eecc20</code></a> Mention the dataflow-shaded artifact (<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4610">#4610</a>)</li>
<li><a href="https://github.com/typetools/checker-framework/commit/4f7ba04d3a6341c423efb628bf0566b682bdfc76"><code>4f7ba04</code></a> Bump classgraph from 4.8.104 to 4.8.105</li>
<li><a href="https://github.com/typetools/checker-framework/commit/662ccf51fbe8d1e67b81f9107027f415c4f13983"><code>662ccf5</code></a> Fix signature in reflection.astub</li>
<li><a href="https://github.com/typetools/checker-framework/commit/a38dbdb7ef1ff861cc6adba63d2229b500fea7a7"><code>a38dbdb</code></a> Rename <code>getAllAnnotations()</code> to <code>getImportedAnnotations()</code></li>
<li><a href="https://github.com/typetools/checker-framework/commit/79b4b4f96bae8b3c501e6e7a7b6bf99cc9eb8438"><code>79b4b4f</code></a> Process stub files incrementally rather than making a list of them</li>
<li>Additional commits viewable in <a href="https://github.com/typetools/checker-framework/compare/checker-framework-3.12.0...checker-framework-3.13.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.12.0&new-version=3.13.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 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 #866

COPYBARA_INTEGRATE_REVIEW=https://github.com/google/truth/pull/866 from google:dependabot/maven/org.checkerframework-checker-qual-3.13.0 a72f325b7112a110349ed42f10f75d005099a19f
PiperOrigin-RevId: 371944297

1 files changed, 1 insertions, 1 deletions

diff --git a/pom.xml b/pom.xml
index 87fc271e..a105364c 100644
--- a/pom.xml
+++ b/pom.xml
@@ -79,7 +79,7 @@
       <dependency>
         <groupId>org.checkerframework</groupId>
         <artifactId>checker-qual</artifactId>
-        <version>3.12.0</version>
+        <version>3.13.0</version>
       </dependency>
       <dependency>
         <groupId>junit</groupId>