Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Bump org.checkerframework:checker-qual from 3.39.0 to 3.40.0 (opensea…
…rch-project#3654) Bumps [org.checkerframework:checker-qual](https://github.com/typetools/checker-framework) from 3.39.0 to 3.40.0. <details> <summary>Release notes</summary> <p><em>Sourced from <a href="https://github.com/typetools/checker-framework/releases">org.checkerframework:checker-qual's releases</a>.</em></p> <blockquote> <h2>Checker Framework 3.40.0</h2> <h2>Version 3.40.0 (November 1, 2023)</h2> <p><strong>User-visible changes:</strong></p> <p>Optional Checker: <code>checker-util.jar</code> defines <code>OptionalUtil.castPresent()</code> for suppressing false positive warnings from the Optional Checker.</p> <p><strong>Closed issues:</strong></p> <p><a href="https://redirect.github.com/typetools/checker-framework/issues/4947">#4947</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/6179">#6179</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/6215">#6215</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/6218">#6218</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/6222">#6222</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/6247">#6247</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/6259">#6259</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/6260">#6260</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">org.checkerframework:checker-qual's changelog</a>.</em></p> <blockquote> <h2>Version 3.40.0 (November 1, 2023)</h2> <p><strong>User-visible changes:</strong></p> <p>Optional Checker: <code>checker-util.jar</code> defines <code>OptionalUtil.castPresent()</code> for suppressing false positive warnings from the Optional Checker.</p> <p><strong>Closed issues:</strong></p> <p><a href="https://redirect.github.com/typetools/checker-framework/issues/4947">#4947</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/6179">#6179</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/6215">#6215</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/6218">#6218</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/6222">#6222</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/6247">#6247</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/6259">#6259</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/6260">#6260</a>.</p> </blockquote> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/typetools/checker-framework/commit/b934cbb98e6b86cf30363c4a276d57de36710538"><code>b934cbb</code></a> new release 3.40.0</li> <li><a href="https://github.com/typetools/checker-framework/commit/5a200da65abd92b9bb59ddef775a697850f9fbd6"><code>5a200da</code></a> Fix link.</li> <li><a href="https://github.com/typetools/checker-framework/commit/5f0473d0e7eea70b163dff55ff5f200790c10b55"><code>5f0473d</code></a> Prep for release.</li> <li><a href="https://github.com/typetools/checker-framework/commit/aecdb0e1c833f125c792c983d8591e59d48b9a00"><code>aecdb0e</code></a> RLC: allow wrapper types to have a differently-named <a href="https://github.com/MustCall"><code>@MustCall</code></a> method from wr...</li> <li><a href="https://github.com/typetools/checker-framework/commit/a76764fb9f1f1f3f2c774e9d508f12d7c41e5094"><code>a76764f</code></a> Add <code>@documented</code> tag to <code>RequiresPresent</code></li> <li><a href="https://github.com/typetools/checker-framework/commit/e2dbaac2804bd1c35a447633f18e7a45a1fcb44a"><code>e2dbaac</code></a> Allocate more memory to testing (<a href="https://redirect.github.com/typetools/checker-framework/issues/6275">#6275</a>)</li> <li><a href="https://github.com/typetools/checker-framework/commit/236c0f04ed5afff8ce5dba90a24e0a659b8e940f"><code>236c0f0</code></a> Enable Gradle build cache (<a href="https://redirect.github.com/typetools/checker-framework/issues/6274">#6274</a>)</li> <li><a href="https://github.com/typetools/checker-framework/commit/365d31741fb4296b1419f1c639487aa5ee2499c4"><code>365d317</code></a> Document the Dataflow Framework (<a href="https://redirect.github.com/typetools/checker-framework/issues/6268">#6268</a>)</li> <li><a href="https://github.com/typetools/checker-framework/commit/2a02885850d36b446eb3aa58c88c5cfc39a69f18"><code>2a02885</code></a> Add <code>@RequiresPresent</code> annotation</li> <li><a href="https://github.com/typetools/checker-framework/commit/1f343d7151c2f23cf586f7aa63222d4f4ae7f7b3"><code>1f343d7</code></a> Implement <code>@EnsuresPresentIf</code> postcondition annotation</li> <li>Additional commits viewable in <a href="https://github.com/typetools/checker-framework/compare/checker-framework-3.39.0...checker-framework-3.40.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=gradle&previous-version=3.39.0&new-version=3.40.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 show <dependency name> ignore conditions` will show all of the ignore conditions of the specified dependency - `@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> Signed-off-by: dependabot[bot] <[email protected]> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
- Loading branch information