- Companion:
- object
Value members
Concrete methods
Interpolate undetermined type variables in the widened type of this tree.
Interpolate undetermined type variables in the widened type of this tree.
- Value parameters:
- locked
the set of type variables of the current typer state that cannot be interpolated at the present time Eligible for interpolation are all type variables owned by the current typerstate that are not in
locked
and whosenestingLevel
is>= ctx.nestingLevel
. Type variables occurring co- (respectively, contra-) variantly in the tree type or expected type are minimized (respectvely, maximized). Non occurring type variables are minimized if they have a lower bound different from Nothing, maximized otherwise. Type variables appearing non-variantly in the type are left untouched. Note that even type variables that do not appear directly in a type, can occur with some variance in the type, because of the constraints. E.g ifX
occurs co-variantly inT
and we have a constraint Y <: X ThenY
also occurs co-variantly inT
because it needs to be minimized in order to constrainT
the least. Seevariances
for more detail.- pt
the expected result type
- tree
the tree whose type is interpolated