github typetools/checker-framework checker-framework-3.21.2
Checker Framework 3.21.2

latest releases: checker-framework-3.52.1, checker-framework-3.52.0, checker-framework-3.51.1...
3 years ago

Version 3.21.2 (February 1, 2022)

User-visible changes:

The wpi.sh script supports non-standard names for build system compile targets via the new -c command-line option.

The Checker Framework now more precisely computes and checks the type of the pattern variable in a pattern match instanceof.

Implementation details:

Deprecated CFGLambda.getMethod{Name} in favor of getEnclosingMethod{Name}.

Closed issues:
#4615, #4993, #5006, #5007, #5008, #5013, #5016, #5021.

Don't miss a new checker-framework release

NewReleases is sending notifications on new releases.