| Class | Description |
|---|---|
| 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
is sometimes the lub).
|