dependabot[bot] opened a new pull request, #1472: URL: https://github.com/apache/causeway/pull/1472
Bumps [checker-qual](https://github.com/typetools/checker-framework) from 3.31.0 to 3.32.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.32.0</h2> <h2>Version 3.32.0 (March 2, 2023)</h2> <p><strong>User-visible changes:</strong></p> <p>Fixed a bug in the Nullness Checker where a call to a side-effecting method did not make some formal parameters possibly-null. The Nullness Checker is likely to issue more warnings for your code. For ways to eliminate the new warnings, see <a href="https://checkerframework.org/manual/#type-refinement-side-effects";>https://checkerframework.org/manual/#type-refinement-side-effects</a> .</p> <p>If you supply the <code>-AinvocationPreservesArgumentNullness</code> command-line option, the Nullness Checker unsoundly assumes that arguments passed to non-null parameters in an invocation remain non-null after the invocation. This assumption is unsound in general, but it holds for most code.</p> <p><strong>Implementation details:</strong></p> <p>Moved <code>TreeUtils.isAutoGeneratedRecordMember(Element)</code> to <code>ElementUtils</code>.</p> <p>Renamed <code>TreeUtils.instanceOfGetPattern()</code> to <code>TreeUtils.instanceOfTreeGetPattern()</code>.</p> <p>Deprecated <code>AnnotatedTypes#isExplicitlySuperBounded</code> and <code>AnnotatedTypes#isExplicitlyExtendsBounded</code> because they are duplicates of <code>#hasExplicitSuperBound</code> and <code>#hasExplicitExtendsBound</code>.</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.32.0 (March 2, 2023)</h2> <p><strong>User-visible changes:</strong></p> <p>Fixed a bug in the Nullness Checker where a call to a side-effecting method did not make some formal parameters possibly-null. The Nullness Checker is likely to issue more warnings for your code. For ways to eliminate the new warnings, see <a href="https://checkerframework.org/manual/#type-refinement-side-effects";>https://checkerframework.org/manual/#type-refinement-side-effects</a> .</p> <p>If you supply the <code>-AinvocationPreservesArgumentNullness</code> command-line option, the Nullness Checker unsoundly assumes that arguments passed to non-null parameters in an invocation remain non-null after the invocation. This assumption is unsound in general, but it holds for most code.</p> <p><strong>Implementation details:</strong></p> <p>Moved <code>TreeUtils.isAutoGeneratedRecordMember(Element)</code> to <code>ElementUtils</code>.</p> <p>Renamed <code>TreeUtils.instanceOfGetPattern()</code> to <code>TreeUtils.instanceOfTreeGetPattern()</code>.</p> <p>Deprecated <code>AnnotatedTypes#isExplicitlySuperBounded</code> and <code>AnnotatedTypes#isExplicitlyExtendsBounded</code> because they are duplicates of <code>#hasExplicitSuperBound</code> and <code>#hasExplicitExtendsBound</code>.</p> </blockquote> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/typetools/checker-framework/commit/d5d0d28dad0034b2e7085220f1e0473575574f84";><code>d5d0d28</code></a> new release 3.32.0</li> <li><a href="https://github.com/typetools/checker-framework/commit/8bee0658cf33188ddbe063ac7e75e6aefb5a5c41";><code>8bee065</code></a> Declare explicit task dependencies.</li> <li><a href="https://github.com/typetools/checker-framework/commit/85f483a3d0bb5494df2826875aa715c5ff4e9384";><code>85f483a</code></a> Prep for release.</li> <li><a href="https://github.com/typetools/checker-framework/commit/9eacbbc60d52381512540b3f53e2cf20eb31c737";><code>9eacbbc</code></a> Don't run <code>plume_lib_jdk8</code> because plume-lib doesn't build with JDK 8</li> <li><a href="https://github.com/typetools/checker-framework/commit/c725eeb4ce88334b2e39b2ce9797b9aa2ac4c6e8";><code>c725eeb</code></a> Add quotation marks</li> <li><a href="https://github.com/typetools/checker-framework/commit/42a4abf73b6de1f3ebd4043cd83867133f7bb46e";><code>42a4abf</code></a> No-op change in hopes of re-enabling dependabot</li> <li><a href="https://github.com/typetools/checker-framework/commit/a50913883efb17927f731761455e492eb9ad318a";><code>a509138</code></a> Punctuation changes (<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/5689";>#5689</a>)</li> <li><a href="https://github.com/typetools/checker-framework/commit/9a0d70b60b17b770126d052ef8964716c693dd3b";><code>9a0d70b</code></a> add ability to exclude annotations from RemoveAnnotationsForInference on a pe...</li> <li><a href="https://github.com/typetools/checker-framework/commit/37f0261db80fadeb530fee7419dcabf233bbb48a";><code>37f0261</code></a> Move <code>TreeUtils.isAutoGeneratedRecordMember(Element)</code> to <code>ElementUtils</code> (<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/5679";>#5679</a>)</li> <li><a href="https://github.com/typetools/checker-framework/commit/e84e29edaeb50eab3dddef1dfb862dad28081272";><code>e84e29e</code></a> WPI: decision on whether to infer a type for a type variable should be made b...</li> <li>Additional commits viewable in <a href="https://github.com/typetools/checker-framework/compare/checker-framework-3.31.0...checker-framework-3.32.0";>compare view</a></li> </ul> </details> <br /> [](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> -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
