Checker Framework 3.42.0-eisop3
·
615 commits
to master
since this release
Version 3.42.0-eisop3 (March 1, 2024)
User-visible changes:
Performance improvements in the Nullness Checker.
Implementation details:
Support separate defaults for wildcard and type variable upper bounds.
Add support for defaults for type variable uses.
See changes in TypeUseLocation, QualiferDefaults, and QualifierHierarchy,
as well as the new ParametricTypeVariableUseQualifier meta-annotation.
Refactored the TypeInformationPresenter into several classes in the new
org.checkerframework.framework.util.visualize package.
Closed issues: