class
ApplicableToTreesDirectly
extends
ApplicableToTrees
Subclass of Application for applicability tests with type arguments and value argument trees.
Constructors
ApplicableToTreesDirectly
(
methRef:
TermRef
,
targs:
List
[
Type
]
,
args:
List
[
Tree
]
,
resultType:
Type
)
ApplicableToTreesDirectly
(
implicit
ctx:
Context
)
Members
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