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[Nothing]

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

class TypedApply[Nothing]
class Application[Tree[Nothing]]
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[Nothing]): 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[Nothing]): 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[Nothing]], 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

override val applyKind: ApplyKind
Inherited from:
TypedApply
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[Nothing]]

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