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:
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:
typetools#5216, typetools#5240, typetools#5256, typetools#5273.