From 012dc2fb5be2ebdf53dd553868ca2a8828c2a907 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Fri, 2 Jun 2023 11:01:51 -0700
Subject: [PATCH] Bump checker-qual from 3.34.0 to 3.35.0

Bumps [checker-qual](https://github.com/typetools/checker-framework) from 3.34.0 to 3.35.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.35.0</h2>
<h2>Version 3.35.0 (June 1, 2023)</h2>
<p><strong>User-visible changes:</strong></p>
<p>The Checker Framework no longer issues <code>type.checking.not.run</code> errors. This reduces clutter in the output.</p>
<p>Signedness Checker:</p>
<ul>
<li>The receiver type of <code>Object.hashCode()</code> is now <code>@UnknownSignedness</code>.</li>
</ul>
<p><strong>Implementation details:</strong></p>
<p>Instead of overriding <code>isRelevant()</code>, a type factory implementation should override <code>isRelevantImpl()</code>.  Clients should continue to call <code>isRelevant()</code>; never call <code>isRelevantImpl()</code>.</p>
<p>Methods that now return a <code>boolean</code> rather than <code>void</code>:</p>
<ul>
<li><code>commonAssignmentCheck()</code></li>
<li><code>checkArrayInitialization()</code></li>
<li><code>checkLock()</code></li>
<li><code>checkLockOfThisOrTree()</code></li>
<li><code>ensureExpressionIsEffectivelyFinal()</code></li>
</ul>
<p>Methods that now return <code>AnnotationMirrorSet</code> instead of <code>Set&lt;? extends AnnotationMirror&gt;</code>:</p>
<ul>
<li><code>getTopAnnotations()</code></li>
<li><code>getBottomAnnotations()</code></li>
<li><code>getDefaultTypeDeclarationBounds()</code></li>
<li><code>getExceptionParameterLowerBoundAnnotations()</code></li>
</ul>
<p>Renamed <code>BaseTypeVisitor.checkExtendsImplements()</code> to <code>checkExtendsAndImplements()</code>.</p>
<p>Class <code>FieldInvariants</code>:</p>
<ul>
<li>constructor now takes an <code>AnnotatedTypeFactory</code></li>
<li><code>isSuperInvariant()</code> has been renamed to <code>isStrongerThan()</code> and no longer takes an <code>AnnotatedTypeFactory</code></li>
</ul>
<p><code>CFAbstractValue.validateSet()</code> takes a type factory rather than a <code>QualifierHierarchy</code>.</p>
<p>Removed methods that have been deprecated for over two years.</p>
<p><strong>Closed issues:</strong></p>
<p><a href="https://redirect.github.com/typetools/checker-framework/issues/4170">#4170</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/5722">#5722</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/5777">#5777</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/5807">#5807</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/5821">#5821</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/5826">#5826</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/5829">#5829</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/5837">#5837</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/5930">#5930</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.35.0 (June 1, 2023)</h2>
<p><strong>User-visible changes:</strong></p>
<p>The Checker Framework no longer issues <code>type.checking.not.run</code> errors.
This reduces clutter in the output.</p>
<p>Signedness Checker:</p>
<ul>
<li>The receiver type of <code>Object.hashCode()</code> is now <code>@UnknownSignedness</code>.</li>
</ul>
<p><strong>Implementation details:</strong></p>
<p>Instead of overriding <code>isRelevant()</code>, a type factory implementation should
override <code>isRelevantImpl()</code>.  Clients should continue to call <code>isRelevant()</code>;
never call <code>isRelevantImpl()</code>.</p>
<p>Methods that now return a <code>boolean</code> rather than <code>void</code>:</p>
<ul>
<li><code>commonAssignmentCheck()</code></li>
<li><code>checkArrayInitialization()</code></li>
<li><code>checkLock()</code></li>
<li><code>checkLockOfThisOrTree()</code></li>
<li><code>ensureExpressionIsEffectivelyFinal()</code></li>
</ul>
<p>Methods that now return <code>AnnotationMirrorSet</code> instead of <code>Set&lt;? extends AnnotationMirror&gt;</code>:</p>
<ul>
<li><code>getTopAnnotations()</code></li>
<li><code>getBottomAnnotations()</code></li>
<li><code>getDefaultTypeDeclarationBounds()</code></li>
<li><code>getExceptionParameterLowerBoundAnnotations()</code></li>
</ul>
<p>Renamed <code>BaseTypeVisitor.checkExtendsImplements()</code> to <code>checkExtendsAndImplements()</code>.</p>
<p>Class <code>FieldInvariants</code>:</p>
<ul>
<li>constructor now takes an <code>AnnotatedTypeFactory</code></li>
<li><code>isSuperInvariant()</code> has been renamed to <code>isStrongerThan()</code> and
no longer takes an <code>AnnotatedTypeFactory</code></li>
</ul>
<p><code>CFAbstractValue.validateSet()</code> takes a type factory rather than a <code>QualifierHierarchy</code>.</p>
<p>Removed methods that have been deprecated for over two years.</p>
<p><strong>Closed issues:</strong></p>
<p><a href="https://redirect.github.com/typetools/checker-framework/issues/4170">#4170</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/5722">#5722</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/5777">#5777</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/5807">#5807</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/5821">#5821</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/5826">#5826</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/5829">#5829</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/5837">#5837</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/5930">#5930</a>.</p>
</blockquote>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a href="https://github.com/typetools/checker-framework/commit/cd1d9ee451f526c2324109d1037ffd125c149e4a"><code>cd1d9ee</code></a> new release 3.35.0</li>
<li><a href="https://github.com/typetools/checker-framework/commit/2b03b28bfa357fa40d3d06be31226c0970109e0f"><code>2b03b28</code></a> Prep for release.</li>
<li><a href="https://github.com/typetools/checker-framework/commit/32a0a59f26b4252c1b9252276245cb61d2e27c45"><code>32a0a59</code></a> Make switchBuilder initialization clearer (<a href="https://redirect.github.com/typetools/checker-framework/issues/5957">#5957</a>)</li>
<li><a href="https://github.com/typetools/checker-framework/commit/1bda3b40f6d37c48fd457267d2e8ca38a15473d7"><code>1bda3b4</code></a> Cleanups to Dataflow Framework (<a href="https://redirect.github.com/typetools/checker-framework/issues/5955">#5955</a>)</li>
<li><a href="https://github.com/typetools/checker-framework/commit/cd444d57e2de12c3a96eda0977fc574c8e9ff1e0"><code>cd444d5</code></a> Update com.amazonaws:aws-java-sdk-bom on the last day of the month</li>
<li><a href="https://github.com/typetools/checker-framework/commit/e326fb557ae97c330a0436de4a78ec453db7c3de"><code>e326fb5</code></a> Update dependency com.amazonaws:aws-java-sdk-bom to v1.12.479</li>
<li><a href="https://github.com/typetools/checker-framework/commit/dcf951a60bf74ebcbc9c3c2b217f88a6d4f688e8"><code>dcf951a</code></a> Version info includes whether the git repo is dirty</li>
<li><a href="https://github.com/typetools/checker-framework/commit/213761392576bbff78d15ebf50defedac8ace8df"><code>2137613</code></a> Misc. javadoc and code uniformity fixes (<a href="https://redirect.github.com/typetools/checker-framework/issues/5961">#5961</a>)</li>
<li><a href="https://github.com/typetools/checker-framework/commit/6c7e7277fc92f23f2ef440a729c52cca75d17030"><code>6c7e727</code></a> The resolver needs access to classes, in order to parse Java expressions (<a href="https://redirect.github.com/typetools/checker-framework/issues/5970">#5970</a>)</li>
<li><a href="https://github.com/typetools/checker-framework/commit/d67941b84607868ec713da719d0a0943afce5f2b"><code>d67941b</code></a> Handle lambdas and method references in switch expressions</li>
<li>Additional commits viewable in <a href="https://github.com/typetools/checker-framework/compare/checker-framework-3.34.0...checker-framework-3.35.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.34.0&new-version=3.35.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 #1132

COPYBARA_INTEGRATE_REVIEW=https://github.com/google/truth/pull/1132 from google:dependabot/maven/org.checkerframework-checker-qual-3.35.0 c69ec58de217449dfcaccc8c969b49aa7702e654
PiperOrigin-RevId: 537356505
---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 4fd38aa92..404eb46ad 100644
--- a/pom.xml
+++ b/pom.xml
@@ -73,7 +73,7 @@
       <dependency>
         <groupId>org.checkerframework</groupId>
         <artifactId>checker-qual</artifactId>
-        <version>3.34.0</version>
+        <version>3.35.0</version>
       </dependency>
       <dependency>
         <groupId>junit</groupId>