Subclass of Application for the cases where we are interested only in a "can/cannot apply" answer, without needing to construct trees or issue error messages.
Constructors
Members
The type of typed arguments: either tpd.Tree or Type
The type of typed arguments: either tpd.Tree or Type
The current function part, which might be affected by lifting.
The current function part, which might be affected by lifting.
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
The type of the given argument
The type of the given argument
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 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
.
Given an original argument and the type of the corresponding formal parameter, produce a typed argument.
Given an original argument and the type of the corresponding formal parameter, produce a typed argument.