Bump org.checkerframework:checker from 3.37.0 to 3.38.0

[dependabot[bot]]

Bumps org.checkerframework:checker from 3.37.0 to 3.38.0.

Release notes

Sourced from org.checkerframework:checker's releases.

Checker Framework 3.38.0

Version 3.38.0 (September 1, 2023)

User-visible changes:

Eliminated the @SignedPositiveFromUnsigned annotation, which users were advised against using.

Implementation details:

Renamed SourceChecker.processArg()' to processErrorMessageArg()`.

Closed issues:

#2156, #5672, #6110, #6111, #6116, #6125, #6129, #6136.

Changelog

Sourced from org.checkerframework:checker's changelog.

Version 3.38.0 (September 1, 2023)

User-visible changes:

Eliminated the @SignedPositiveFromUnsigned annotation, which users were advised against using.

Implementation details:

Renamed SourceChecker.processArg()' to processErrorMessageArg()`.

Closed issues:

#2156, #5672, #6110, #6111, #6116, #6125, #6129, #6136.

Commits

• 2d7d6ee new release 3.38.0
• a3edf96 Prep for release.
• d919091 Update stubparser to 3.25.5 (#6150)
• 917d743 Eliminate @SignedPositiveFromUnsigned annotation (#6146)
• 962cb0f Improvements to AnnotatedTypeFactory (#6144)
• 0257fee Documentation about counting programs (#6142)
• 57f55d6 Rename SourceChecker.processArg()' to processErrorMessageArg()` (#6140)
• a4652dc Update plugin de.undercouch.download to v5.5.0 (#6148)
• 931c7a8 Update plugin com.diffplug.spotless to v6.21.0 (#6149)
• a23b92b Use more specific terminology than "Determines if"
• 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 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 show 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)