ApplyToUntyped
Subclass of Application for type checking an Apply node with untyped arguments.
Attributes
- Graph
-
- Supertypes
Members list
Type members
Inherited types
The type of typed arguments: either tpd.Tree or Type
Value members
Concrete methods
Turn a typed tree into an argument
Turn a typed tree into an argument
Attributes
Inherited methods
Check that argument corresponds to type formal
and possibly add it to the list of adapted arguments
Check that argument corresponds to type formal
and possibly add it to the list of adapted arguments
Attributes
- Inherited from:
- TypedApply
Attributes
- Definition Classes
- Inherited from:
- TypedApply
Signal failure with given message at position of the application itself
Signal failure with given message at position of the application itself
Attributes
- Inherited from:
- TypedApply
Signal failure with given message at position of given argument
Signal failure with given message at position of given argument
Attributes
- Inherited from:
- TypedApply
If all args
have primitive numeric types, make sure it's the same one
If all args
have primitive numeric types, make sure it's the same one
Attributes
- Inherited from:
- TypedApply
Attributes
- Inherited from:
- Application
Is sym
a constructor of a Java-defined annotation?
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
Attributes
- Inherited from:
- TypedApply
Is this an argument of the form expr: _*
or a RepeatedParamType derived from such an argument?
Is this an argument of the form expr: _*
or a RepeatedParamType derived from such an argument?
Attributes
- Inherited from:
- TypedApply
If constructing trees, pull out all parts of the function which are not idempotent into separate prefix definitions
If constructing trees, pull out all parts of the function which are not idempotent into separate prefix definitions
Attributes
- Definition Classes
- Inherited from:
- TypedApply
If constructing trees, turn last n
processed arguments into a SeqLiteral
tree with element type elemFormal
.
If constructing trees, turn last n
processed arguments into a SeqLiteral
tree with element type elemFormal
.
Attributes
- 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
.
Attributes
- Inherited from:
- Application
Attributes
- 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.
Attributes
- Inherited from:
- Application
The current function part, which might be affected by lifting.
The current function part, which might be affected by lifting.
Attributes
- Inherited from:
- TypedApply
Attributes
- Inherited from:
- Application
Attributes
- Inherited from:
- Application
Re-order arguments to correctly align named arguments Issue errors in the following situations:
Re-order arguments to correctly align named arguments Issue errors in the following situations:
-
"positional after named argument" if a positional argument follows a named argument and one of the following is true:
- There is a formal argument before the argument position that has not yet been instantiated with a previous actual argument, (either named or positional), or
- The formal parameter at the argument position is also mentioned in a subsequent named parameter.
-
"parameter already instantiated" if a two named arguments have the same name.
-
"does not have parameter" if a named parameter does not mention a formal parameter name.
Attributes
- Inherited from:
- Application
The application was successful
Inherited fields
The kind of application that gets typed
Attributes
- Inherited from:
- Application
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
Attributes
- 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.
Attributes
- Inherited from:
- Application
Attributes
- Inherited from:
- TypedApply