Bump checker-qual from 3.24.0-eisop1 to 3.25.0-eisop1 in /annotation-file-utilities

[dependabot]

Bumps checker-qual from 3.24.0-eisop1 to 3.25.0-eisop1.

Release notes

Sourced from checker-qual's releases.

Checker Framework 3.25.0-eisop1

Version 3.25.0-eisop1 (September 3, 2022)

User-visible changes:

The new command-line argument -AconservativeArgumentNullnessAfterInvocation improves the soundness of the Nullness Checker. In previous versions and without supplying the new flag, the receiver and arguments that are passed to non-null parameters in a method call or constructor invocation are assumed to be non-null after the invocation. This assumption is unsound in general, but holds for most code. Use the new flag to soundly handle the nullness of the receiver and arguments in an invocation. In a future version, we might change the default for this option.

Support the JSpecify NonNull annotation as an alias in the Nullness Checker.

Fixed ordering of command-line and JDK stubs.

Closed issues:

eisop#300, eisop#321.

Version 3.25.0 (September 1, 2022)

User-visible changes:

Make mustcall.not.inheritable a warning rather than an error.

The Property File Checker, Internationalization Checker, and Compiler Message Checker use File.pathSeparator to separate property file paths in -Apropfiles, rather than ':'.

Added DoNothingChecker that does nothing.

Closed issues:

#5216, #5240, #5256, #5273.

Changelog

Sourced from checker-qual's changelog.

Version 3.25.0-eisop1 (September 3, 2022)

User-visible changes:

The new command-line argument -AconservativeArgumentNullnessAfterInvocation improves the soundness of the Nullness Checker. In previous versions and without supplying the new flag, the receiver and arguments that are passed to non-null parameters in a method call or constructor invocation are assumed to be non-null after the invocation. This assumption is unsound in general, but holds for most code. Use the new flag to soundly handle the nullness of the receiver and arguments in an invocation. In a future version, we might change the default for this option.

Support the JSpecify NonNull annotation as an alias in the Nullness Checker.

Fixed ordering of command-line and JDK stubs.

Closed issues:

eisop#300, eisop#321.

Version 3.25.0 (September 1, 2022)

User-visible changes:

Make mustcall.not.inheritable a warning rather than an error.

The Property File Checker, Internationalization Checker, and Compiler Message Checker use File.pathSeparator to separate property file paths in -Apropfiles, rather than ':'.

Added DoNothingChecker that does nothing.

Implementation details:

Closed issues:

#5216, #5240, #5256, #5273.

Commits

• 2fee704 new release 3.25.0-eisop1
• 4c7235c Prep for release
• 755525f Support the JSpecify NonNull annotation as an alias in the Nullness Checker (...
• b985438 Bump de.undercouch.download from 5.1.0 to 5.1.2 (#326)
• c150c8e Correctly use makeNonNull for receivers and arguments in method invocations (...
• e2d4034 Remove an unnecessary method and a deprecated method (#327)
• fee06d9 typetools/checker-framework 3.25.0 release (#329)
• 1c590d5 No need to install jtreg
• 70d7d8d Fix typo
• 679f4a6 Formatting/wording tweaks
• 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 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)

[dependabot]

Superseded by #107.