Name | Description | Type | Package | Framework |
LubTypeVariableAnnotator | At the moment, this class is just a collection of special cases that fix the behavior of AnnotateAsLub Annotate as lub always uses a type variable's upper bound to annotate (when in fact the type variable unchanged | Class | org.checkerframework.framework.flow.util | Checker |