Subclass of Application for type checking an Apply node, where types of arguments are either known or unknown.
Constructors
Members
The type of typed arguments: either tpd.Tree or Type
The type of typed arguments: either tpd.Tree or Type
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
The index of the first difference between lists of trees xs
and ys
,
where EmptyTree
s in the second list are skipped.
-1 if there are no differences.
The index of the first difference between lists of trees xs
and ys
,
where EmptyTree
s in the second list are skipped.
-1 if there are no differences.
The index of the first difference between lists of trees xs
and ys
,
where EmptyTree
s in the second list are skipped.
-1 if there are no differences.
The index of the first difference between lists of trees xs
and ys
,
where EmptyTree
s in the second list are skipped.
-1 if there are no differences.
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, 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
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.