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.25.0 to 3.26.0
Bumps [checker-qual](https://github.com/typetools/checker-framework) from 3.25.0 to 3.26.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.26.0</h2> <h2>Version 3.26.0 (October 3, 2022)</h2> <p><strong>User-visible changes:</strong></p> <p>The Checker Framework runs under JDK 18 -- that is, it runs on a version 18 JVM. (It worked before, but gave a warning that it was not tested.)</p> <p>Annotations are available for some new JDK 17 APIs (some of those introduced since JDK 11).</p> <p>Added <code>-AnoWarnMemoryConstraints</code> to change the "Memory constraints are impeding performance; please increase max heap size" message from a warning to a note.</p> <p>'unneeded.suppression' warnings can now themeselves be suppressed.</p> <p><strong>Implementation details:</strong></p> <p>Deprecated <code>TreeUtils.constructor()</code> in favor of <code>TreeUtils.elementFromUse()</code>.</p> <p>Added method <code>isSideEffectFree()</code> to the <code>AnnotationProvider</code> interface.</p> <p>Deprecated <code>CFAbstractStore.isSideEffectFree()</code> in favor of new method <code>AnnotationProvider.isSideEffectFree()</code>. Note the different contracts of <code>PurityUtils.isSideEffectFree()</code> and <code>AnnotationProvider.isSideEffectFree()</code>.</p> <p>Use <code>TreeUtils.elementFromDeclaration</code> and <code>TreeUtils.elementFromUse</code> in preference to <code>TreeUtils.elementFromTree</code>, when possible.</p> <p>For code formatting, use <code>./gradlew spotlessCheck</code> and <code>./gradlew spotlessApply</code>. The <code>checkFormat</code> and <code>reformat</code> Gradle tasks have been removed.</p> <p>Removed variable <code>BaseTypeVisitor.inferPurity</code>.</p> <p><strong>Closed issues:</strong></p> <p><a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/5081">#5081</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/5159">#5159</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/5245">#5245</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/5302">#5302</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/5319">#5319</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/5323">#5323</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.26.0 (October 3, 2022)</h2> <p><strong>User-visible changes:</strong></p> <p>The Checker Framework runs under JDK 18 -- that is, it runs on a version 18 JVM. (It worked before, but gave a warning that it was not tested.)</p> <p>Annotations are available for some new JDK 17 APIs (some of those introduced since JDK 11).</p> <p>Added <code>-AnoWarnMemoryConstraints</code> to change the "Memory constraints are impeding performance; please increase max heap size" message from a warning to a note.</p> <p>'unneeded.suppression' warnings can now themeselves be suppressed.</p> <p><strong>Implementation details:</strong></p> <p>Deprecated <code>TreeUtils.constructor()</code> in favor of <code>TreeUtils.elementFromUse()</code>.</p> <p>Added method <code>isSideEffectFree()</code> to the <code>AnnotationProvider</code> interface.</p> <p>Deprecated <code>CFAbstractStore.isSideEffectFree()</code> in favor of new method <code>AnnotationProvider.isSideEffectFree()</code>. Note the different contracts of <code>PurityUtils.isSideEffectFree()</code> and <code>AnnotationProvider.isSideEffectFree()</code>.</p> <p>Use <code>TreeUtils.elementFromDeclaration</code> and <code>TreeUtils.elementFromUse</code> in preference to <code>TreeUtils.elementFromTree</code>, when possible.</p> <p>For code formatting, use <code>./gradlew spotlessCheck</code> and <code>./gradlew spotlessApply</code>. The <code>checkFormat</code> and <code>reformat</code> Gradle tasks have been removed.</p> <p>Removed variable <code>BaseTypeVisitor.inferPurity</code>.</p> <p><strong>Closed issues:</strong></p> <p><a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/5081">#5081</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/5159">#5159</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/5245">#5245</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/5302">#5302</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/5319">#5319</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/5323">#5323</a>.</p> </blockquote> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/typetools/checker-framework/commit/c7c9f446ef1487f4067e22384115570f8e750c36"><code>c7c9f44</code></a> Prep for release.</li> <li><a href="https://github.com/typetools/checker-framework/commit/8dda0e969d8bd4b519e5c3a4d0cb7caa925d2e45"><code>8dda0e9</code></a> Use Java 8 to build the release</li> <li><a href="https://github.com/typetools/checker-framework/commit/1af86bf4fe52f1eee5b5508d8a088fb25d53418a"><code>1af86bf</code></a> Convert typevars to "uses" before substitution; fixes <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/5245">#5245</a></li> <li><a href="https://github.com/typetools/checker-framework/commit/8e970030938eb2dbfd9899b5d2629aeba79f3f81"><code>8e97003</code></a> Delete generated API documentation before coping new release</li> <li><a href="https://github.com/typetools/checker-framework/commit/c42463e85371c43e354eaa92176612f2d4c616ed"><code>c42463e</code></a> Update to StubParser 3.24.4. (<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/5346">#5346</a>)</li> <li><a href="https://github.com/typetools/checker-framework/commit/567870f2e327fe66fe5f94b8714be1c3bab1da56"><code>567870f</code></a> Handle <code>wget</code> failure</li> <li><a href="https://github.com/typetools/checker-framework/commit/87f351d7199bb5ebc7bf799504f669425a3d69d5"><code>87f351d</code></a> Remove the --notest option to release_build.py</li> <li><a href="https://github.com/typetools/checker-framework/commit/04f831bf024ce4950ab241728bcc5e7f6c8599c4"><code>04f831b</code></a> Miscellaneous cleanups for supporting JDK 18 (<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/5345">#5345</a>)</li> <li><a href="https://github.com/typetools/checker-framework/commit/df157d3e9a29b3f4ebd2502284f12a6c8181ef0e"><code>df157d3</code></a> Fix crash in ajava-based WPI related to captures (<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/5335">#5335</a>)</li> <li><a href="https://github.com/typetools/checker-framework/commit/c6103fcc97f6e928593b6c21ff082e0a991aba19"><code>c6103fc</code></a> Infer purity when using the Lock Checker (<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/5343">#5343</a>)</li> <li>Additional commits viewable in <a href="https://github.com/typetools/checker-framework/compare/checker-framework-3.25.0...checker-framework-3.26.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.25.0&new-version=3.26.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 #337 COPYBARA_INTEGRATE_REVIEW=#337 from google:dependabot/maven/org.checkerframework-checker-qual-3.26.0 26d2eb2 PiperOrigin-RevId: 478825112
- Loading branch information