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

ApplyToUntyped

class ApplyToUntyped(app: Apply, fun: Tree, methRef: TermRef, proto: FunProto, resultType: Type)(using `x$6`: Context) extends TypedApply[Null]

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

class TypedApply[Null]
class Application[Tree[Null]]
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[Null]): 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[Null]): 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[Null]], formals: List[Type], n: Int): Unit

Match re-ordered arguments against formal parameters

Match re-ordered arguments against formal parameters

Value Params
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

override val applyKind: ApplyKind
Inherited from
TypedApply
lazy val liftedFunType: Type
Inherited from
Application
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[Null]]

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