Release 4.2.3 of the Checker Framework
7 views
Skip to first unread message
Suzanne Millstein
Sep 1, 2026, 3:17:57 PMSep 1
to Checker Framework discussion
We have released a new version of the Checker Framework.
The Checker Framework lets you create and/or run pluggable type checkers, in order to detect and prevent bugs in your code.
You can find documentation and download links at:
https://CheckerFramework.org/
Changes for Checker Framework version 4.2.3:
The Checker Framework lets you create and/or run pluggable type checkers, in order to detect and prevent bugs in your code.
You can find documentation and download links at:
https://CheckerFramework.org/
Changes for Checker Framework version 4.2.3:
Version 4.2.3 (2026-09-01)
The -AsuggestPureMethods command-line option and the purity.effectively.pure warning no longer require -AcheckPurityAnnotations to also be supplied.
Made the field Java8InferenceContext.pathToExpression private; use getPathToExpression() and setPathToExpression() instead.
Renamed TreeUtils.isLikeDiamondMemberReference() to isRawTypedMemberReference().
#2816, #7677, #7678, #7681, #7682, #7684, #7693, #7694, #7696, #7698, #7701, #7702, #7875, #8046, #8047, #8048, #8050, #8052
Reply all
Reply to author
Forward
0 new messages