Bump checker-qual from 3.7.1 to 3.8.0
Bump checker-qual from 3.7.1 to 3.8.0

Bumps [checker-qual](https://github.com/typetools/checker-framework) from 3.7.1 to 3.8.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.8.0</h2>
<p>Version 3.8.0, December 1, 2020</p>
<p>The Initialized Fields Checker warns when a field is not initialized by a constructor.  This is more general than the Initialization Checker, which only checks that <code>@NonNull</code> fields are initialized.</p>
<p>The manual describes how to modify an sbt build file to run the Checker Framework.</p>
<p>The -AwarnUnneededSuppressions command-line option warns only about suppression strings that contain a checker name.</p>
<p>The -AwarnUnneededSuppressionsExceptions=REGEX command-line option partially disables -AwarnUnneededSuppressions.  Most users don't need this.</p>
<p>Implementation details:</p>
<p>Added classes <code>SubtypeIsSubsetQualifierHierarchy</code> and <code>SubtypeIsSupersetQualifierHierarchy</code>.</p>
<p>Moved the <code>contractsUtils</code> field from the visitor to the type factory.</p>
<p>Class renamings:</p>
<ul>
<li><code>ContractsUtils</code> =&gt; <code>ContractsFromMethod</code></li>
</ul>
<p>Method renamings:</p>
<ul>
<li><code>ElementUtils.getVerboseName</code> =&gt; <code>ElementUtils.getQualifiedName</code></li>
<li><code>ElementUtils.getSimpleName</code> =&gt; <code>ElementUtils.getSimpleSignature</code></li>
</ul>
<p>Field renamings:</p>
<ul>
<li><code>AnnotatedTypeMirror.actualType</code> =&gt; <code>AnnotatedTypeMirror.underlyingType</code></li>
</ul>
<p>Added a formal parameter to methods in <code>MostlyNoElementQualifierHierarchy</code>:</p>
<ul>
<li><code>leastUpperBoundWithElements</code></li>
<li><code>greatestLowerBoundWithElements</code></li>
</ul>
<p>Removed a formal parameter from methods in <code>BaseTypeVisitor</code>:</p>
<ul>
<li><code>checkPostcondition</code></li>
<li><code>checkConditionalPostcondition</code></li>
</ul>
<p>In <code>Analysis.runAnalysisFor()</code>, changed <code>boolean</code> parameter to enum <code>BeforeOrAfter</code>.</p>
<p>Removed <code>org.checkerframework.framework.util.AnnotatedTypes#getIteratedType</code>; use <code>AnnotatedTypeFactory#getIterableElementType(ExpressionTree)</code> instead.</p>
<p>Closed issues:
<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3287">#3287</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3390">#3390</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3681">#3681</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3839">#3839</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3850">#3850</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3851">#3851</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3862">#3862</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3871">#3871</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3884">#3884</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3888">#3888</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3908">#3908</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3929">#3929</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3932">#3932</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3935">#3935</a>.</p>
</blockquote>
</details>
<details>
<summary>Changelog</summary>
<p><em>Sourced from <a href="https://github.com/typetools/checker-framework/blob/master/changelog.txt">checker-qual's changelog</a>.</em></p>
<blockquote>
<p>Version 3.8.0, December 1, 2020</p>
<p>The Initialized Fields Checker warns when a field is not initialized by a
constructor.  This is more general than the Initialization Checker, which
only checks that <code>@NonNull</code> fields are initialized.</p>
<p>The manual describes how to modify an sbt build file to run the Checker
Framework.</p>
<p>The -AwarnUnneededSuppressions command-line option warns only about
suppression strings that contain a checker name.</p>
<p>The -AwarnUnneededSuppressionsExceptions=REGEX command-line option
partially disables -AwarnUnneededSuppressions.  Most users don't need this.</p>
<p>Implementation details:</p>
<p>Added classes <code>SubtypeIsSubsetQualifierHierarchy</code> and
<code>SubtypeIsSupersetQualifierHierarchy</code>.</p>
<p>Moved the <code>contractsUtils</code> field from the visitor to the type factory.</p>
<p>Class renamings:</p>
<ul>
<li><code>ContractsUtils</code> =&gt; <code>ContractsFromMethod</code></li>
</ul>
<p>Method renamings:</p>
<ul>
<li><code>ElementUtils.getVerboseName</code> =&gt; <code>ElementUtils.getQualifiedName</code></li>
<li><code>ElementUtils.getSimpleName</code> =&gt; <code>ElementUtils.getSimpleSignature</code></li>
</ul>
<p>Field renamings:</p>
<ul>
<li><code>AnnotatedTypeMirror.actualType</code> =&gt; <code>AnnotatedTypeMirror.underlyingType</code></li>
</ul>
<p>Added a formal parameter to methods in <code>MostlyNoElementQualifierHierarchy</code>:</p>
<ul>
<li><code>leastUpperBoundWithElements</code></li>
<li><code>greatestLowerBoundWithElements</code></li>
</ul>
<p>Removed a formal parameter from methods in <code>BaseTypeVisitor</code>:</p>
<ul>
<li><code>checkPostcondition</code></li>
<li><code>checkConditionalPostcondition</code></li>
</ul>
<p>In <code>Analysis.runAnalysisFor()</code>, changed <code>boolean</code> parameter to enum <code>BeforeOrAfter</code>.</p>
<p>Removed <code>org.checkerframework.framework.util.AnnotatedTypes#getIteratedType</code>; use
<code>AnnotatedTypeFactory#getIterableElementType(ExpressionTree)</code> instead.</p>
<p>Closed issues:
<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3287">#3287</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3390">#3390</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3681">#3681</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3839">#3839</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3850">#3850</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3851">#3851</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3862">#3862</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3871">#3871</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3884">#3884</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3888">#3888</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3908">#3908</a>,
<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3929">#3929</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3932">#3932</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3935">#3935</a>.</p>
<hr />
<!-- raw HTML omitted -->
</blockquote>
<p>... (truncated)</p>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a href="https://github.com/typetools/checker-framework/commit/fe320f6687c9aeb9f8ff676466d151fcaf289aac"><code>fe320f6</code></a> new release 3.8.0</li>
<li><a href="https://github.com/typetools/checker-framework/commit/770d13de92e2c74ec81bb8f432bc83d9e495ea8f"><code>770d13d</code></a> Fix links.</li>
<li><a href="https://github.com/typetools/checker-framework/commit/f98bfa7dffb2771c8e17166b7b5cdc23d825b55a"><code>f98bfa7</code></a> Can't use python3.</li>
<li><a href="https://github.com/typetools/checker-framework/commit/fcef95cad6dbc9660b4611d5dfff1ea9da2d22d0"><code>fcef95c</code></a> Move CalledMethods Checker test to the correct location. (<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3954">#3954</a>)</li>
<li><a href="https://github.com/typetools/checker-framework/commit/6d23edb84aa0f29f4dae0cc621135e375f3848cc"><code>6d23edb</code></a> Release prep.</li>
<li><a href="https://github.com/typetools/checker-framework/commit/e8d3862a5e2facbe61d4df50fa344954def51918"><code>e8d3862</code></a> Abstract out methods ignoreFieldInWPI and updateFieldFromType (<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3951">#3951</a>)</li>
<li><a href="https://github.com/typetools/checker-framework/commit/da85027919414ef35d41cede1305010de4ffd6eb"><code>da85027</code></a> Remove irrelevant information from bin/README (<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3950">#3950</a>)</li>
<li><a href="https://github.com/typetools/checker-framework/commit/7bd0542dc9bcc625c93a4ffd1de3b58e13afa89b"><code>7bd0542</code></a> Tweak description of type refinement</li>
<li><a href="https://github.com/typetools/checker-framework/commit/1110d16d60fd6dd7aba904863e8cb45d47bf1a0c"><code>1110d16</code></a> Define method getOverriddenMethods</li>
<li><a href="https://github.com/typetools/checker-framework/commit/afb91c860f8a02825c0829890e2503c736d9ef95"><code>afb91c8</code></a> Ignore declaration annotations when issuing nullness.on.primitive warning; fi...</li>
<li>Additional commits viewable in <a href="https://github.com/typetools/checker-framework/compare/checker-framework-3.7.1...checker-framework-3.8.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.7.1&new-version=3.8.0)](https://docs.github.com/en/github/managing-security-vulnerabilities/configuring-github-dependabot-security-updates)

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 #793

COPYBARA_INTEGRATE_REVIEW=https://github.com/google/truth/pull/793 from google:dependabot/maven/org.checkerframework-checker-qual-3.8.0 c4b29e953a24eef13cbb7fc66c5207fce0847e39
PiperOrigin-RevId: 345243972

google/truth,google/truth,google/truth