Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
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<? extends AnnotationMirror></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<? extends AnnotationMirror></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=#1132 from google:dependabot/maven/org.checkerframework-checker-qual-3.35.0 c69ec58 PiperOrigin-RevId: 537356505
- Loading branch information