Bump io.github.eisop:checker from 3.34.0-eisop1 to 3.40.0-eisop2

[dependabot]

Bumps io.github.eisop:checker from 3.34.0-eisop1 to 3.40.0-eisop2.

Release notes

Sourced from io.github.eisop:checker's releases.

Checker Framework 3.40.0-eisop2

Version 3.40.0-eisop2 (November 24, 2023)

Implementation details:

Always use reflective access for TreeMaker#Select, to allow artifacts built with Java 21+ to be executed on Java <21.

Checker Framework 3.40.0-eisop1

Version 3.40.0-eisop1 (November 24, 2023)

User-visible changes:

Improvements to initialization type frames in the Initialization Checker.

Implementation details:

New method TreeUtils#isEnhancedSwitchStatement to determine if a switch statement tree is an enhanced switch statement.

Closed issues:

eisop#609, eisop#610, eisop#612.

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-eisop1

Version 3.39.0-eisop1 (October 22, 2023)

User-visible changes:

The Initialization Checker is now separated from the Nullness Checker. To unsoundly use the Nullness Checker without initialization checking, use the new -AassumeInitialized command-line argument. Error messages will now be either from the Initialization Checker or the Nullness Checker, which simplifies the types in error messages.

... (truncated)

Changelog

Sourced from io.github.eisop:checker's changelog.

Version 3.40.0-eisop2 (November 24, 2023)

Implementation details:

Always use reflective access for TreeMaker#Select, to allow artifacts built with Java 21+ to be executed on Java <21.

Version 3.40.0-eisop1 (November 24, 2023)

User-visible changes:

Improvements to initialization type frames in the Initialization Checker.

Implementation details:

New method TreeUtils#isEnhancedSwitchStatement to determine if a switch statement tree is an enhanced switch statement.

Closed issues:

eisop#609, eisop#610, eisop#612.

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-eisop1 (October 22, 2023)

User-visible changes:

The Initialization Checker is now separated from the Nullness Checker. To unsoundly use the Nullness Checker without initialization checking, use the new -AassumeInitialized command-line argument. Error messages will now be either from the Initialization Checker or the Nullness Checker, which simplifies the types in error messages. @SuppressWarnings("initialization") should be used to suppress initialization warnings.

... (truncated)

Commits

• 34b8bda new release 3.40.0-eisop2
• ec8577b Prep for release
• 9781672 Always access TreeMaker#Select reflectively (#631)
• ac10fe6 Prep for next release
• c1e7bb4 new release 3.40.0-eisop1
• f1b7dab Prep for release
• 88856f7 Fix code formatting
• e3066f8 typetools/checker-framework 3.40.0 release (#626)
• 0b3ca99 Remove inadvertently added .class file
• c387ce2 Avoid WPI dependency
• 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 <dependency name> 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)