Checker Framework 3.23.0-eisop1
Version 3.23.0-eisop1 (July 14, 2022)
Implementation details:
Added support for viewpoint adaptation of types via the added
ViewpointAdapter interface. This support is experimental and the API
will change, in particular if the feature is fully integrated with
the DependentTypesHelper.
Improved defaulting in stub files:
Method AnnotatedTypeFactory.getDeclAnnotations now returns the
annotations for a package element. Previously, it returned an empty set
when parsing another file. (#270)
Method CFAbstractTransfer.visitMethodInvocation now only creates a
ConditionalTransferResult when the method return type is boolean or
Boolean. This avoids unnecessary duplication of many stores, reducing
memory consumption.
Improved the CFG type of implicit this receivers. (typetools#5174)
Closed issues: