class ApplyToTyped
extends TypedApply

Subclass of Application for type checking an Apply node with typed arguments.

Constructors

ApplyToTyped ( app: Apply , fun: Tree , methRef: TermRef , args: List [ Tree ] , resultType: Type )
ApplyToTyped ( implicit ctx: Context )

Members

private val app : Apply
private val args : List [ Tree ]
private implicit val ctx : Context
private val fun : Tree
private val methRef : TermRef
private val resultType : Type
def treeToArg ( arg: Tree ) : Tree

Turn a typed tree into an argument

Turn a typed tree into an argument

def typeOfArg ( arg: Tree ) : Type
def typedArg ( arg: Tree , formal: Type ) : TypedArg

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.