TypedApply
Subclass of Application for type checking an Apply node, where types of arguments are either known or unknown.
Subclass of Application for type checking an Apply node, where types of arguments are either known or unknown.
Value members
Concrete methods
Inherited methods
Is sym
a constructor of a Java-defined annotation?
Is sym
a constructor of a Java-defined annotation?
- Inherited from
- Application
Match re-ordered arguments against formal parameters
Match re-ordered arguments against formal parameters
- Value Params
- n
The position of the first parameter in formals in
methType
.
- Inherited from
- Application
Whether liftFun
is needed? It is the case if default arguments are used.
Whether liftFun
is needed? It is the case if default arguments are used.
- Inherited from
- Application
Re-order arguments to correctly align named arguments
Re-order arguments to correctly align named arguments
- Inherited from
- Application
Inherited fields
The function's type after widening and instantiating polytypes with TypeParamRefs in constraint set
The function's type after widening and instantiating polytypes with TypeParamRefs in constraint set
- Inherited from
- Application
The arguments re-ordered so that each named argument matches the same-named formal parameter.
The arguments re-ordered so that each named argument matches the same-named formal parameter.
- Inherited from
- Application