scala3-compiler-bootstrapped/dotty.tools.dotc.typer/Applications/ApplyToTyped

ApplyToTyped

class ApplyToTyped(app: Apply, fun: Tree, methRef: TermRef, args: List[Tree], resultType: Type, applyKind: ApplyKind)(using x$7: Context) extends TypedApply[Type]

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

class Object
trait Matchable
class Any

Type members

Inherited types

type TypedArg = Tree
Inherited from:
TypedApply

Value members

Concrete methods

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

Inherited methods

def addArg(arg: Tree, formal: Type): Unit
Inherited from:
TypedApply
override def appPos: SrcPos
Definition Classes
Inherited from:
TypedApply
def fail(msg: Message): Unit
Inherited from:
TypedApply
def fail(msg: Message, arg: Tree[Type]): Unit
Inherited from:
TypedApply
def harmonizeArgs(args: List[TypedArg]): List[Tree]
Inherited from:
TypedApply
protected def init(): Unit
Inherited from:
Application
def isJavaAnnotConstr(sym: Symbol): Boolean

Is sym a constructor of a Java-defined annotation?

Is sym a constructor of a Java-defined annotation?

Inherited from:
Application
def isSafeArg(arg: Tree): Boolean

An argument is safe if it is a pure expression or a default getter call If all arguments are safe, no reordering is necessary

An argument is safe if it is a pure expression or a default getter call If all arguments are safe, no reordering is necessary

Inherited from:
TypedApply
def isVarArg(arg: Tree[Type]): Boolean
Inherited from:
TypedApply
override def liftFun(): Unit
Definition Classes
Inherited from:
TypedApply
def makeVarArg(n: Int, elemFormal: Type): Unit
Inherited from:
TypedApply
def matchArgs(args: List[Tree[Type]], formals: List[Type], n: Int): Unit

Match re-ordered arguments against formal parameters

Match re-ordered arguments against formal parameters

Value parameters:
n

The position of the first parameter in formals in methType.

Inherited from:
Application
protected def methodType: MethodType
Inherited from:
Application
protected def needLiftFun: Boolean

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.

Inherited from:
Application
def normalizedFun: Tree
Inherited from:
TypedApply
def ok: Boolean
Inherited from:
Application
def ok_=(x: Boolean): Unit
Inherited from:
Application
def reorder[T >: Untyped](args: List[Tree[T]]): List[Tree[T]]

Re-order arguments to correctly align named arguments

Re-order arguments to correctly align named arguments

Inherited from:
Application
def success: Boolean

The application was successful

The application was successful

Inherited from:
Application

Inherited fields

lazy val methType: Type

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

Inherited from:
Application
lazy val orderedArgs: List[Tree[Type]]

The arguments re-ordered so that each named argument matches the same-named formal parameter.

The arguments re-ordered so that each named argument matches the same-named formal parameter.

Inherited from:
Application
val result: Tree
Inherited from:
TypedApply