ApplyToTyped
Subclass of Application for type checking an Apply node with typed arguments.
Type members
Inherited types
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
An argument is safe if it is a pure expression or a default getter call If all arguments are safe, no reordering is necessary
An argument is safe if it is a pure expression or a default getter call If all arguments are safe, no reordering is necessary
- Inherited from:
- TypedApply
Match re-ordered arguments against formal parameters
Match re-ordered arguments against formal parameters
- Value parameters:
- 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