Bump checkerframework.version from 3.36.0 to 3.37.0

[dependabot]

Bumps checkerframework.version from 3.36.0 to 3.37.0.
Updates org.checkerframework:checker from 3.36.0 to 3.37.0

Release notes

Sourced from org.checkerframework:checker's releases.

Checker Framework 3.37.0

Version 3.37.0 (August 1, 2023)

User-visible changes:

Removed support for deprecated option -AuseDefaultsForUncheckedCode.

The Signedness Checker no longer allows (nor needs) @UnknownSignedness to be written on a non-integral type.

Implementation details:

QualifierHierarchy:

• The constructor takes an AnnotatedTypeFactory.
• Changes to isSubtype():
  • isSubtype() has been renamed to isSubypeQualifiers() and made protected. Clients that are not in a qualifier hierarchy should call isSubtypeShallow() or, rarely, new method isSubtypeQualifiersOnly().
  • New public method isSubtypeShallow()' that takes two more arguments than isSubypeQualifiers()`.
• Similar changes to greatestLowerBound() and leastUpperBound().

Closed issues:

#6076, #6077, #6078, #6098, #6100, #6104, #6113.

Changelog

Sourced from org.checkerframework:checker's changelog.

Version 3.37.0 (August 1, 2023)

User-visible changes:

Removed support for deprecated option -AuseDefaultsForUncheckedCode.

The Signedness Checker no longer allows (nor needs) @UnknownSignedness to be written on a non-integral type.

Implementation details:

QualifierHierarchy:

• The constructor takes an AnnotatedTypeFactory.
• Changes to isSubtype():
  • isSubtype() has been renamed to isSubypeQualifiers() and made protected. Clients that are not in a qualifier hierarchy should call isSubtypeShallow() or, rarely, new method isSubtypeQualifiersOnly().
  • New public method isSubtypeShallow()' that takes two more arguments than isSubypeQualifiers()`.
• Similar changes to greatestLowerBound() and leastUpperBound().

Closed issues:

#6076, #6077, #6078, #6098, #6100, #6104, #6113.

Commits

• 8c55a6b new release 3.37.0
• 38042d5 Prep for release.
• 6b36a30 Update dependency com.amazonaws:aws-java-sdk-bom to v1.12.519 (#6115)
• 968301d Fix least upper bound; fixes #6113
• d607f26 Update plugin com.diffplug.spotless to v6.20.0 (#6102)
• d7721b2 Handle annotations on record constructors
• c88e096 fixedInitialStore may be null
• 355bf05 How to make a local release (#6106)
• b6182b9 Add an easier way to avoid running WPI on tests
• 22377ce More explicit error message (#6107)
• Additional commits viewable in compare view

Updates org.checkerframework:checker-qual from 3.36.0 to 3.37.0

Release notes

Sourced from org.checkerframework:checker-qual's releases.

Checker Framework 3.37.0

Version 3.37.0 (August 1, 2023)

User-visible changes:

Removed support for deprecated option -AuseDefaultsForUncheckedCode.

The Signedness Checker no longer allows (nor needs) @UnknownSignedness to be written on a non-integral type.

Implementation details:

QualifierHierarchy:

• The constructor takes an AnnotatedTypeFactory.
• Changes to isSubtype():
  • isSubtype() has been renamed to isSubypeQualifiers() and made protected. Clients that are not in a qualifier hierarchy should call isSubtypeShallow() or, rarely, new method isSubtypeQualifiersOnly().
  • New public method isSubtypeShallow()' that takes two more arguments than isSubypeQualifiers()`.
• Similar changes to greatestLowerBound() and leastUpperBound().

Closed issues:

#6076, #6077, #6078, #6098, #6100, #6104, #6113.

Changelog

Sourced from org.checkerframework:checker-qual's changelog.

Version 3.37.0 (August 1, 2023)

User-visible changes:

Removed support for deprecated option -AuseDefaultsForUncheckedCode.

The Signedness Checker no longer allows (nor needs) @UnknownSignedness to be written on a non-integral type.

Implementation details:

QualifierHierarchy:

• The constructor takes an AnnotatedTypeFactory.
• Changes to isSubtype():
  • isSubtype() has been renamed to isSubypeQualifiers() and made protected. Clients that are not in a qualifier hierarchy should call isSubtypeShallow() or, rarely, new method isSubtypeQualifiersOnly().
  • New public method isSubtypeShallow()' that takes two more arguments than isSubypeQualifiers()`.
• Similar changes to greatestLowerBound() and leastUpperBound().

Closed issues:

#6076, #6077, #6078, #6098, #6100, #6104, #6113.

Commits

• 8c55a6b new release 3.37.0
• 38042d5 Prep for release.
• 6b36a30 Update dependency com.amazonaws:aws-java-sdk-bom to v1.12.519 (#6115)
• 968301d Fix least upper bound; fixes #6113
• d607f26 Update plugin com.diffplug.spotless to v6.20.0 (#6102)
• d7721b2 Handle annotations on record constructors
• c88e096 fixedInitialStore may be null
• 355bf05 How to make a local release (#6106)
• b6182b9 Add an easier way to avoid running WPI on tests
• 22377ce More explicit error message (#6107)
• Additional commits viewable in compare view

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 will merge this PR once CI passes on it, as requested by @ascopes.

---

Dependabot commands and options

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)

[ascopes]

@dependabot merge

[github-actions]

Test Results

  3 361 files  ±0    3 361 suites  ±0   4s ⏱️ ±0s
31 997 tests ±0  31 702 ✔️ ±0  295 💤 ±0  0 ❌ ±0 
32 320 runs  ±0  32 025 ✔️ ±0  295 💤 ±0  0 ❌ ±0 

Results for commit e33446d. ± Comparison against base commit 2007518.

[codecov]

Codecov Report

Merging #533 (e33446d) into main (2007518) will not change coverage.
Report is 2 commits behind head on main.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main     #533   +/-   ##
=======================================
  Coverage   88.63%   88.63%           
=======================================
  Files          94       94           
  Lines        2947     2947           
  Branches      239      239           
=======================================
  Hits         2612     2612           
  Misses        289      289           
  Partials       46       46