Checker Framework 3.49.5-eisop1

[wmdietl]

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.

The instanceof.unsafe and instanceof.pattern.unsafe warnings in the EISOP
Checker Framework are now controlled by lint options.
They are enabled by default and can be disabled using -Alint=-instanceof.unsafe or
-Alint=-instanceof.

The Nullness Checker now recognizes references to private, final fields with zero-length
arrays as initializers in calls to Collection.toArray(T[]), allowing the returned
component type to be refined to @NonNull.

The ClassBound annotation can now be used with anonymous types.

Implementation details:

CFAbstractTransfer now returns a RegularTransferResult when the visited method has
non-boolean return type, instead of always returning a ConditionalTransferResult.
If your checker needs a ConditionalTransferResult for non-boolean methods, you need to
change your transfer function. See NonEmptyTransfer for an example.

The AbstractNodeVisitor now has more summary methods, following the class hierarchy of
Node and conceptual categories.

AnnotationMirrorSet now only implements Set, not NavigableSet.

Fixed nullness annotations and documentation of the following methods in SourceChecker:

• reportError
• reportWarning
• report
• getSourceWithPrecisePosition
• shouldSuppressWarnings

Removed method
InitializationParentAnnotatedTypeFactory.createUnderInitializationAnnotation(Class<?>)
from the Initialization Checker; use createUnderInitializationAnnotation(TypeMirror)
instead.

Removed AnnotationUtils#annotationNameInterned. annotationName itself now
returns an interned name.

Method AnnotatedTypeMirror#getUnderlyingTypeHashCode() is no longer public.

Changed behavior and usage of HashcodeAtmVisitor.

Closed issues:

typetools#7096, typetools#7539, #1099, #1219, #1225, #1231,
#1242, #1247, #1257, #1263, #1265, #1272,
#1310, #1326, #1444, #1448, #1500, #1506,
#1536, #1543, #1565.

---

This discussion was created from the release Checker Framework 3.49.5-eisop1.