Bump the checker-framework group with 2 updates

[dependabot]

Bumps the checker-framework group with 2 updates: org.checkerframework:checker-qual and org.checkerframework:checker.

Updates org.checkerframework:checker-qual from 3.38.0 to 3.40.0

Release notes

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

Checker Framework 3.40.0

Version 3.40.0 (November 1, 2023)

User-visible changes:

Optional Checker: checker-util.jar defines OptionalUtil.castPresent() for suppressing false positive warnings from the Optional Checker.

Closed issues:

#4947, #6179, #6215, #6218, #6222, #6247, #6259, #6260.

Checker Framework 3.39.0

Version 3.39.0 (October 2, 2023)

User-visible changes:

The Checker Framework runs on a version 21 JVM. It does not yet soundly check all new Java 21 language features, but it does not crash when compiling them.

Implementation details:

Dataflow supports all the new Java 21 language features.

• A new node,DeconstructorPatternNode, was added, so any implementation of NodeVisitor must be updated.
• Method InstanceOfNode.getBindingVariable() is deprecated; use getPatternNode() or getBindingVariables() instead.

WPI uses 1-based indexing for formal parameters and arguments.

Closed issues:

#5911, #5967, #6155, #6173, #6201.

Changelog

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

Version 3.40.0 (November 1, 2023)

User-visible changes:

Optional Checker: checker-util.jar defines OptionalUtil.castPresent() for suppressing false positive warnings from the Optional Checker.

Closed issues:

#4947, #6179, #6215, #6218, #6222, #6247, #6259, #6260.

Version 3.39.0 (October 2, 2023)

User-visible changes:

The Checker Framework runs on a version 21 JVM. It does not yet soundly check all new Java 21 language features, but it does not crash when compiling them.

Implementation details:

Dataflow supports all the new Java 21 language features.

• A new node,DeconstructorPatternNode, was added, so any implementation of NodeVisitor must be updated.
• Method InstanceOfNode.getBindingVariable() is deprecated; use getPatternNode() or getBindingVariables() instead.

WPI uses 1-based indexing for formal parameters and arguments.

Closed issues:

#5911, #5967, #6155, #6173, #6201.

Commits

• b934cbb new release 3.40.0
• 5a200da Fix link.
• 5f0473d Prep for release.
• aecdb0e RLC: allow wrapper types to have a differently-named @​MustCall method from wr...
• a76764f Add @Documented tag to RequiresPresent
• e2dbaac Allocate more memory to testing (#6275)
• 236c0f0 Enable Gradle build cache (#6274)
• 365d317 Document the Dataflow Framework (#6268)
• 2a02885 Add @RequiresPresent annotation
• 1f343d7 Implement @EnsuresPresentIf postcondition annotation
• Additional commits viewable in compare view

Updates org.checkerframework:checker from 3.38.0 to 3.40.0

Release notes

Sourced from org.checkerframework:checker's releases.

Checker Framework 3.40.0

Version 3.40.0 (November 1, 2023)

User-visible changes:

Optional Checker: checker-util.jar defines OptionalUtil.castPresent() for suppressing false positive warnings from the Optional Checker.

Closed issues:

#4947, #6179, #6215, #6218, #6222, #6247, #6259, #6260.

Checker Framework 3.39.0

Version 3.39.0 (October 2, 2023)

User-visible changes:

The Checker Framework runs on a version 21 JVM. It does not yet soundly check all new Java 21 language features, but it does not crash when compiling them.

Implementation details:

Dataflow supports all the new Java 21 language features.

• A new node,DeconstructorPatternNode, was added, so any implementation of NodeVisitor must be updated.
• Method InstanceOfNode.getBindingVariable() is deprecated; use getPatternNode() or getBindingVariables() instead.

WPI uses 1-based indexing for formal parameters and arguments.

Closed issues:

#5911, #5967, #6155, #6173, #6201.

Changelog

Sourced from org.checkerframework:checker's changelog.

Version 3.40.0 (November 1, 2023)

User-visible changes:

Optional Checker: checker-util.jar defines OptionalUtil.castPresent() for suppressing false positive warnings from the Optional Checker.

Closed issues:

#4947, #6179, #6215, #6218, #6222, #6247, #6259, #6260.

Version 3.39.0 (October 2, 2023)

User-visible changes:

The Checker Framework runs on a version 21 JVM. It does not yet soundly check all new Java 21 language features, but it does not crash when compiling them.

Implementation details:

Dataflow supports all the new Java 21 language features.

• A new node,DeconstructorPatternNode, was added, so any implementation of NodeVisitor must be updated.
• Method InstanceOfNode.getBindingVariable() is deprecated; use getPatternNode() or getBindingVariables() instead.

WPI uses 1-based indexing for formal parameters and arguments.

Closed issues:

#5911, #5967, #6155, #6173, #6201.

Commits

• b934cbb new release 3.40.0
• 5a200da Fix link.
• 5f0473d Prep for release.
• aecdb0e RLC: allow wrapper types to have a differently-named @​MustCall method from wr...
• a76764f Add @Documented tag to RequiresPresent
• e2dbaac Allocate more memory to testing (#6275)
• 236c0f0 Enable Gradle build cache (#6274)
• 365d317 Document the Dataflow Framework (#6268)
• 2a02885 Add @RequiresPresent annotation
• 1f343d7 Implement @EnsuresPresentIf postcondition annotation
• 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 @DavyLandman.

---

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 <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore <dependency name> major version will close this group update PR and stop Dependabot creating any more for the specific dependency's major version (unless you unignore this specific dependency's major version or upgrade to it yourself)
• @dependabot ignore <dependency name> minor version will close this group update PR and stop Dependabot creating any more for the specific dependency's minor version (unless you unignore this specific dependency's minor version or upgrade to it yourself)
• @dependabot ignore <dependency name> will close this group update PR and stop Dependabot creating any more for the specific dependency (unless you unignore this specific dependency or upgrade to it yourself)
• @dependabot unignore <dependency name> will remove all of the ignore conditions of the specified dependency
• @dependabot unignore <dependency name> <ignore condition> will remove the ignore condition of the specified dependency and ignore conditions

[DavyLandman]

@dependabot squash and merge