build(deps): bump io.github.eisop:checker-qual from 3.49.3-eisop1 to 3.49.5-eisop1

[dependabot]

Bumps io.github.eisop:checker-qual from 3.49.3-eisop1 to 3.49.5-eisop1.

Release notes

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

Checker Framework 3.49.5-eisop1

Version 3.49.5-eisop1 (April 26, 2026)

User-visible changes:

Considerable performance improvements. In a large project (over 4000 .java files) with complex qualifiers, compilation time was reduced from around 30 minutes to below 7 minutes. Running allNullnessTests went from around 3 minutes to 2.5 minutes and checkNullness went from around 5.25 to below 4 minutes.

The EISOP Checker Framework runs under JDK 26 and under JDK 27 b18 early access builds -- that is, it runs on version 26 and 27 JVMs.

The new command-line option -AonlyAnnotatedFor suppresses all type-checking errors and warnings outside the scope of a corresponding @AnnotatedFor annotation. Note that the @AnnotatedFor annotation must include the checker's name to enable warnings from that checker. For example, use @AnnotatedFor("nullness") for the Nullness Checker. This option unsoundly uses source defaults and suppresses the warnings outside the scope of a corresponding @AnnotatedFor annotation. Use -AuseConservativeDefaultsForUncheckedCode=source if you want conservative defaults for source code outside the scope of a corresponding @AnnotatedFor annotation.

The Nullness Checker now has more fine-grained prefix options to suppress warnings:

• @SuppressWarnings("nullness") is used to suppress warnings from the Nullness, Initialization, and KeyFor Checkers.
• @SuppressWarnings("nullnesskeyfor") is used to suppress warnings from the Nullness and KeyFor Checkers, warnings from the Initialization Checker are not suppressed. @SuppressWarnings("nullnessnoinit") has the same effect as @SuppressWarnings("nullnesskeyfor").
• @SuppressWarnings("nullnessinitialization") is used to suppress warnings from the Nullness and Initialization Checkers, warnings from the KeyFor Checker are not suppressed.
• @SuppressWarnings("nullnessonly") is used to suppress warnings from the Nullness Checker only, warnings from the Initialization and KeyFor Checkers are not suppressed.
• @SuppressWarnings("initialization") is used to suppress warnings from the Initialization Checker only, warnings from the Nullness and KeyFor Checkers are not suppressed.
• @SuppressWarnings("keyfor") is used to suppress warnings from the KeyFor Checker only, warnings from the Nullness and Initialization Checkers are not suppressed.

The EISOP Checker Framework now uses NullType instead of Void to denote the bottom type in the Java type hierarchy. It is visible in error messages with type variable's or wildcard's lower bounds. The type of the null literal in the Nullness Checker is now displayed as @Nullable NullType instead of the earlier null (NullType). This change makes the EISOP Checker Framework more consistent with the Java language specification.

The format of error messages for type variables and wildcards has been improved to be

... (truncated)

Changelog

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

Version 3.49.5-eisop1 (April 26, 2026)

User-visible changes:

Considerable performance improvements. In a large project (over 4000 .java files) with complex qualifiers, compilation time was reduced from around 30 minutes to below 7 minutes. Running allNullnessTests went from around 3 minutes to 2.5 minutes and checkNullness went from around 5.25 to below 4 minutes.

The EISOP Checker Framework runs under JDK 26 and under JDK 27 b18 early access builds -- that is, it runs on version 26 and 27 JVMs.

The new command-line option -AonlyAnnotatedFor suppresses all type-checking errors and warnings outside the scope of a corresponding @AnnotatedFor annotation. Note that the @AnnotatedFor annotation must include the checker's name to enable warnings from that checker. For example, use @AnnotatedFor("nullness") for the Nullness Checker. This option unsoundly uses source defaults and suppresses the warnings outside the scope of a corresponding @AnnotatedFor annotation. Use -AuseConservativeDefaultsForUncheckedCode=source if you want conservative defaults for source code outside the scope of a corresponding @AnnotatedFor annotation.

The Nullness Checker now has more fine-grained prefix options to suppress warnings:

• @SuppressWarnings("nullness") is used to suppress warnings from the Nullness, Initialization, and KeyFor Checkers.
• @SuppressWarnings("nullnesskeyfor") is used to suppress warnings from the Nullness and KeyFor Checkers, warnings from the Initialization Checker are not suppressed. @SuppressWarnings("nullnessnoinit") has the same effect as @SuppressWarnings("nullnesskeyfor").
• @SuppressWarnings("nullnessinitialization") is used to suppress warnings from the Nullness and Initialization Checkers, warnings from the KeyFor Checker are not suppressed.
• @SuppressWarnings("nullnessonly") is used to suppress warnings from the Nullness Checker only, warnings from the Initialization and KeyFor Checkers are not suppressed.
• @SuppressWarnings("initialization") is used to suppress warnings from the Initialization Checker only, warnings from the Nullness and KeyFor Checkers are not suppressed.
• @SuppressWarnings("keyfor") is used to suppress warnings from the KeyFor Checker only, warnings from the Nullness and Initialization Checkers are not suppressed.

The EISOP Checker Framework now uses NullType instead of Void to denote the bottom type in the Java type hierarchy. It is visible in error messages with type variable's or wildcard's lower bounds. The type of the null literal in the Nullness Checker is now displayed as @Nullable NullType instead of the earlier null (NullType). This change makes the EISOP Checker Framework more consistent with the Java language specification.

The format of error messages for type variables and wildcards has been improved to be consistent when printing both bounds.

... (truncated)

Commits

• 04b7832 new release 3.49.5-eisop1
• 37d08f8 Prepare for release
• 17690b4 Increase JFR stack depth
• 9e2a25b Small optimizations (#1675)
• db9b5a5 Update dependency org.junit.jupiter:junit-jupiter-api to v5.14.4 (#1676)
• 323f434 Cache qualified, interned names for all elements (#1673)
• 489313d Avoid Integer boxing and lambda for ATM hashCode (#1672)
• 7ee3c1e Increase the AnnotatedTypeScanner#visitedNodes map size (#1671)
• f93f636 Update dependency openjdk/jdk to v19 (#1668)
• 27746f2 Add extra maps to qualifier hierarchies (#1670)
• 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 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)