ContextFunctionResults

Annotate methods that have context function result types directly matched by context closures on their right-hand side. Parameters to such closures will be integrated as additional method parameters in erasure.

The rightmost context function type in the result type of meth that represents paramCount curried, non-erased parameters that are included in the contextResultCount of meth. Example:

Say we have def m(x: A): B ?=> (C1, C2, C3) ?=> D ?=> E ?=> F, paramCount == 4, and the contextResultCount of m is 3. Then we return the type (C1, C2, C3) ?=> D ?=> E ?=> F, since this type covers the 4 rightmost parameters C1, C2, C3 and D before the contextResultCount runs out at E ?=> F. Erased parameters are ignored; they contribute nothing to the parameter count.

The argument of a ContextResultCount annotation, or 0 if none exists. See PostTyper#annotateContextResults.

Turn the first crCount context function types in the result type of tp into the curried method types.

Should selection tree be eliminated since it refers to an apply node of a context function type whose parameters will end up being integrated in the preceding method?

The total number of parameters of method sym, not counting erased parameters, but including context result parameters.