Application
- Type Params
- Arg
the type of arguments, could be tpd.Tree, untpd.Tree, or Type
- Value Params
- args
the arguments of the application
- funType
the type of the function part of the application
- methRef
the reference to the method of the application
- resultType
the expected result type of the application
Type members
Types
The type of typed arguments: either tpd.Tree or Type
The type of typed arguments: either tpd.Tree or Type
Value members
Abstract 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
Signal failure with given message at position of given argument
Signal failure with given message at position of given argument
Signal failure with given message at position of the application itself
Signal failure with given message at position of the application itself
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
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?
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
.
The current function part, which might be affected by lifting.
The current function part, which might be affected by lifting.
Concrete methods
Is sym
a constructor of a Java-defined annotation?
Is sym
a constructor of a Java-defined annotation?
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
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
.
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.
Concrete 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