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.36.0 to 3.37.0
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 /> [![Dependabot compatibility score](https://dependabot-badges.githubapp.com/badges/compatibility_score?dependency-name=org.checkerframework:checker-qual&package-manager=maven&previous-version=3.36.0&new-version=3.37.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 #1157 COPYBARA_INTEGRATE_REVIEW=#1157 from google:dependabot/maven/org.checkerframework-checker-qual-3.37.0 9702018 PiperOrigin-RevId: 554860924
- Loading branch information