OuterOps

The operations in this class

add outer parameters
pass outer arguments to these parameters
replace outer this references by outer paths. They are called from erasure. There are two constraints which suggest these operations should be done in erasure.
Replacing this references with outer paths loses aliasing information, so programs will not typecheck with unerased types unless a lot of type refinements are added. Therefore, outer paths should be computed no earlier than erasure.
outer parameters should not show up in signatures, so again they cannot be added before erasure.
outer arguments need access to outer parameters as well as to the original type prefixes of types in New expressions. These prefixes get erased during erasure. Therefore, outer arguments have to be passed no later than erasure.

Linear Supertypes

AnyVal, Any

final def !=(arg0: Any): Boolean

Definition Classes
Any
final def ##(): Int

Definition Classes
Any
final def ==(arg0: Any): Boolean

Definition Classes
Any
def addParam(cls: ClassSymbol, tp: Type): Type

If cls has an outer parameter add one to the method type tp.
def args(fun: ast.tpd.Tree): List[ast.tpd.Tree]

If function in an apply node is a constructor that needs to be passed an outer argument, the singleton list with the argument, otherwise Nil.
final def asInstanceOf[T0]: T0

Definition Classes
Any
def getClass(): Class[_ <: AnyVal]

Definition Classes
AnyVal → Any
val ictx: Context
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def paramDefs(constr: Symbol): List[ast.tpd.ValDef]

The outer parameter definition of a constructor if it needs one
def path(toCls: Symbol, start: ast.tpd.Tree = ...): ast.tpd.Tree

The path of outer accessors that references toCls.this starting from the context owner's this node.
def toString(): String

Definition Classes
Any