Refine the bounds on type parameters to the given type arguments.
Refine the bounds on type parameters to the given type arguments.
Modify the type that has thus far been inferred for a tree.
Modify the type that has thus far been inferred for a tree. All this should do is add annotations.
Check annotations to decide whether tpe1 <:< tpe2
Check annotations to decide whether tpe1 <:< tpe2
Refine the computed least upper bound of a list of types.
Refine the computed least upper bound of a list of types. All this should do is add annotations.
Checks whether @cps annotations conform