dependabot[bot] opened a new pull request, #1816: URL: https://github.com/apache/causeway/pull/1816
Bumps [org.checkerframework:checker-qual](https://github.com/typetools/checker-framework) from 3.36.0 to 3.37.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.37.0</h2> <h2>Version 3.37.0 (August 1, 2023)</h2> <p><strong>User-visible changes:</strong></p> <p>Removed support for deprecated option <code>-AuseDefaultsForUncheckedCode</code>.</p> <p>The Signedness Checker no longer allows (nor needs) <code>@UnknownSignedness</code> to be written on a non-integral type.</p> <p><strong>Implementation details:</strong></p> <p><code>QualifierHierarchy</code>:</p> <ul> <li>The constructor takes an <code>AnnotatedTypeFactory</code>.</li> <li>Changes to <code>isSubtype()</code>: <ul> <li><code>isSubtype()</code> has been renamed to <code>isSubypeQualifiers()</code> and made protected. Clients that are not in a qualifier hierarchy should call <code>isSubtypeShallow()</code> or, rarely, new method <code>isSubtypeQualifiersOnly()</code>.</li> <li>New public method <code>isSubtypeShallow()' that takes two more arguments than </code>isSubypeQualifiers()`.</li> </ul> </li> <li>Similar changes to <code>greatestLowerBound()</code> and <code>leastUpperBound()</code>.</li> </ul> <p><strong>Closed issues:</strong></p> <p><a href="https://redirect.github.com/typetools/checker-framework/issues/6076";>#6076</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/6077";>#6077</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/6078";>#6078</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/6098";>#6098</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/6100";>#6100</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/6104";>#6104</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/6113";>#6113</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.37.0 (August 1, 2023)</h2> <p><strong>User-visible changes:</strong></p> <p>Removed support for deprecated option <code>-AuseDefaultsForUncheckedCode</code>.</p> <p>The Signedness Checker no longer allows (nor needs) <code>@UnknownSignedness</code> to be written on a non-integral type.</p> <p><strong>Implementation details:</strong></p> <p><code>QualifierHierarchy</code>:</p> <ul> <li>The constructor takes an <code>AnnotatedTypeFactory</code>.</li> <li>Changes to <code>isSubtype()</code>: <ul> <li><code>isSubtype()</code> has been renamed to <code>isSubypeQualifiers()</code> and made protected. Clients that are not in a qualifier hierarchy should call <code>isSubtypeShallow()</code> or, rarely, new method <code>isSubtypeQualifiersOnly()</code>.</li> <li>New public method <code>isSubtypeShallow()' that takes two more arguments than </code>isSubypeQualifiers()`.</li> </ul> </li> <li>Similar changes to <code>greatestLowerBound()</code> and <code>leastUpperBound()</code>.</li> </ul> <p><strong>Closed issues:</strong></p> <p><a href="https://redirect.github.com/typetools/checker-framework/issues/6076";>#6076</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/6077";>#6077</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/6078";>#6078</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/6098";>#6098</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/6100";>#6100</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/6104";>#6104</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/6113";>#6113</a>.</p> </blockquote> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/typetools/checker-framework/commit/8c55a6be9bbe0dc412f9c2ce206cf3ec3bb2c8f0";><code>8c55a6b</code></a> new release 3.37.0</li> <li><a href="https://github.com/typetools/checker-framework/commit/38042d5aaf63f4e689affc330dcc06eb9f06ce01";><code>38042d5</code></a> Prep for release.</li> <li><a href="https://github.com/typetools/checker-framework/commit/6b36a30fab1421cef7f58f2055c9adb2ec49afa8";><code>6b36a30</code></a> Update dependency com.amazonaws:aws-java-sdk-bom to v1.12.519 (<a href="https://redirect.github.com/typetools/checker-framework/issues/6115";>#6115</a>)</li> <li><a href="https://github.com/typetools/checker-framework/commit/968301d5eb6185595d69e1de35c16f105b8c8ec5";><code>968301d</code></a> Fix least upper bound; fixes <a href="https://redirect.github.com/typetools/checker-framework/issues/6113";>#6113</a></li> <li><a href="https://github.com/typetools/checker-framework/commit/d607f262c4ac8039785674e7feb46c3e4c16fb70";><code>d607f26</code></a> Update plugin com.diffplug.spotless to v6.20.0 (<a href="https://redirect.github.com/typetools/checker-framework/issues/6102";>#6102</a>)</li> <li><a href="https://github.com/typetools/checker-framework/commit/d7721b234490a2117bbdfe4ff933dec0528bf324";><code>d7721b2</code></a> Handle annotations on record constructors</li> <li><a href="https://github.com/typetools/checker-framework/commit/c88e09642b53d3dd64dd2cfe71e47e9916168dd2";><code>c88e096</code></a> <code>fixedInitialStore</code> may be null</li> <li><a href="https://github.com/typetools/checker-framework/commit/355bf05004ccd9f687236f8a1fdc50b7c43883ef";><code>355bf05</code></a> How to make a local release (<a href="https://redirect.github.com/typetools/checker-framework/issues/6106";>#6106</a>)</li> <li><a href="https://github.com/typetools/checker-framework/commit/b6182b99bb3c0f331d09a28f6351623eb9d86af7";><code>b6182b9</code></a> Add an easier way to avoid running WPI on tests</li> <li><a href="https://github.com/typetools/checker-framework/commit/22377ce0e6be95ac841e310af401642584122b43";><code>22377ce</code></a> More explicit error message (<a href="https://redirect.github.com/typetools/checker-framework/issues/6107";>#6107</a>)</li> <li>Additional commits viewable in <a href="https://github.com/typetools/checker-framework/compare/checker-framework-3.36.0...checker-framework-3.37.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: dev-unsubscr...@causeway.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org
