Bump checker-qual from 3.7.0 to 3.7.1
Bump checker-qual from 3.7.0 to 3.7.1

Bumps [checker-qual](https://github.com/typetools/checker-framework) from 3.7.0 to 3.7.1.
<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.7.1</h2>
<p>Version 3.7.1, November 2, 2020</p>
<p>The Constant Value Checker supports two new annotations: <code>@EnumVal</code> and <code>@MatchesRegex</code>.</p>
<p>The Nullness Checker supports annotation <code>org.jspecify.annotations.NullnessUnspecified</code>.</p>
<p>Implementation details:</p>
<p>AnnotatedIntersectionType#directSuperTypes now returns List<!-- raw HTML omitted -->.</p>
<p>The <code>@RelevantJavaTypes</code> annotation is now enforced:  a checker issues a warning if the programmer writes a type annotation on a type that is not listed.</p>
<p>Deprecated CFAbstractTransfer.getValueWithSameAnnotations(), which is no longer used.  Added new methods getWidenedValue() and getNarrowedValue().</p>
<p>Renamed TestUtilities.assertResultsAreValid() to TestUtilities.assertTestDidNotFail().</p>
<p>Renamed BaseTypeValidator.isValidType() to BaseTypeValidator.isValidStructurally().</p>
<p>New method BaseTypeVisitor#visitAnnotatedType(List, Tree) centralizes checking of user-written type annotations, even when parsed in declaration locations.</p>
<p>Closed issues:
<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/868">#868</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/1908">#1908</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/2075">#2075</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3349">#3349</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3362">#3362</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3569">#3569</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3614">#3614</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3637">#3637</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3709">#3709</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3710">#3710</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3711">#3711</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3720">#3720</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3730">#3730</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3742">#3742</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3760">#3760</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3770">#3770</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3775">#3775</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3776">#3776</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3792">#3792</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3793">#3793</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3794">#3794</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3819">#3819</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3831">#3831</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.7.1, November 2, 2020</p>
<p>The Constant Value Checker supports two new annotations: <a href="https://github.com/EnumVal">@EnumVal</a> and <a href="https://github.com/MatchesRegex">@MatchesRegex</a>.</p>
<p>The Nullness Checker supports annotation org.jspecify.annotations.NullnessUnspecified.</p>
<p>Implementation details:</p>
<p>AnnotatedIntersectionType#directSuperTypes now returns
List<!-- raw HTML omitted -->.</p>
<p>The <a href="https://github.com/RelevantJavaTypes">@RelevantJavaTypes</a> annotation is now enforced:  a checker issues a warning
if the programmer writes a type annotation on a type that is not listed.</p>
<p>Deprecated CFAbstractTransfer.getValueWithSameAnnotations(), which is no
longer used.  Added new methods getWidenedValue() and getNarrowedValue().</p>
<p>Renamed TestUtilities.assertResultsAreValid() to TestUtilities.assertTestDidNotFail().</p>
<p>Renamed BaseTypeValidator.isValidType() to BaseTypeValidator.isValidStructurally().</p>
<p>New method BaseTypeVisitor#visitAnnotatedType(List, Tree) centralizes checking
of user-written type annotations, even when parsed in declaration locations.</p>
<p>Closed issues:
<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/868">#868</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/1908">#1908</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/2075">#2075</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3349">#3349</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3362">#3362</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3569">#3569</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3614">#3614</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3637">#3637</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3709">#3709</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3710">#3710</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3711">#3711</a>,
<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3720">#3720</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3730">#3730</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3742">#3742</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3760">#3760</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3770">#3770</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3775">#3775</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3776">#3776</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3792">#3792</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3793">#3793</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3794">#3794</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3819">#3819</a>,
<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3831">#3831</a>.</p>
<hr />
<p>Version 3.7.0, October 1, 2020</p>
<p>The new Called Methods Checker tracks methods that have definitely been
called on an object. It automatically supports detecting mis-uses of the
builder pattern in code that uses Lombok or AutoValue.</p>
<p>Accumulation analysis is now supported via a generic Accumulation Checker.
An accumulation analysis is a restricted form of typestate analysis that does
not require a precise alias analysis for soundness. The Called Methods Checker
is an accumulation analysis.</p>
<p>The Nullness Checker supports annotations
org.codehaus.commons.nullanalysis.NotNull,
org.codehaus.commons.nullanalysis.Nullable, and
org.jspecify.annotations.Nullable.</p>
<p>The Signature Checker supports annotations <a href="https://github.com/CanonicalName">@CanonicalName</a> and <a href="https://github.com/CanonicalNameOrEmpty">@CanonicalNameOrEmpty</a>.
The Signature Checker treats jdk.jfr.Unsigned as an alias for its own <a href="https://github.com/Unsigned">@Unsigned</a> annotation.</p>
<!-- raw HTML omitted -->
</blockquote>
<p>... (truncated)</p>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a href="https://github.com/typetools/checker-framework/commit/b1949047b2077ec09e05cb1838e68df56328f2ee"><code>b194904</code></a> new release 3.7.1</li>
<li><a href="https://github.com/typetools/checker-framework/commit/dae84b39d2e80c5cde356c8b2f73b801724df40d"><code>dae84b3</code></a> Don't link to a non-public member.</li>
<li><a href="https://github.com/typetools/checker-framework/commit/efc6569f890a563a537ec3717e0c232983942e54"><code>efc6569</code></a> Don't link to BaseTypeVisitor#visitAnnotatedType because it cause javadoc to ...</li>
<li><a href="https://github.com/typetools/checker-framework/commit/874073fb9bf41a6d7f37116e63293653d8e8dd09"><code>874073f</code></a> Add changelog.</li>
<li><a href="https://github.com/typetools/checker-framework/commit/88f1dd2b094df90ddbc202bc3f7d284f8aaf05a8"><code>88f1dd2</code></a> Don't run javadoc on plume-lib projects</li>
<li><a href="https://github.com/typetools/checker-framework/commit/c5ce4d755eecb925991cb2443dc0c9b3daf3aa0d"><code>c5ce4d7</code></a> sideEffectsUnrefineAliases feature</li>
<li><a href="https://github.com/typetools/checker-framework/commit/1a0712f39d12806a78b324ed17d281fc7a7d468b"><code>1a0712f</code></a> Enrich treatment of <code>@PolyNull</code>; fixes <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3614">#3614</a></li>
<li><a href="https://github.com/typetools/checker-framework/commit/38b8ca27a9e10571dd25fdff7c2ac20489b04bfe"><code>38b8ca2</code></a> Annotate <code>isPoly()</code> as <code>@Pure</code></li>
<li><a href="https://github.com/typetools/checker-framework/commit/2d93c7511568a5cb824e16019dcd4508fb53bdb8"><code>2d93c75</code></a> Tweak comments</li>
<li><a href="https://github.com/typetools/checker-framework/commit/363f182cc35a638ed7315fed8a6ff2b16459024b"><code>363f182</code></a> Makes HasQualifierParameter an inherited type; Fixes <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3831">#3831</a> (<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3832">#3832</a>)</li>
<li>Additional commits viewable in <a href="https://github.com/typetools/checker-framework/compare/checker-framework-3.7.0...checker-framework-3.7.1">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.0&new-version=3.7.1)](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 #782

COPYBARA_INTEGRATE_REVIEW=https://github.com/google/truth/pull/782 from google:dependabot/maven/org.checkerframework-checker-qual-3.7.1 2c8670a2218df00d75035ae62a2237cea4da5687
PiperOrigin-RevId: 340431187

google/truth,google/truth,google/truth