Erasure

dotty.tools.dotc.transform.Erasure
See theErasure companion class
object Erasure

Attributes

Companion
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Erasure.type

Members list

Type members

Classlikes

object Boxing

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Boxing.type
class Typer(erasurePhase: DenotTransformer) extends ReTyper, NoChecking

Attributes

Supertypes
trait NoChecking
class ReTyper
trait ReChecking
class Typer
trait Migrations
trait Deriving
trait Checking
trait Dynamic
trait Inferencing
trait Implicits
trait Applications
trait TypeAssigner
class Namer
class Object
trait Matchable
class Any
Show all

Value members

Concrete methods

def expandedMethodType(mt: MethodType, origFun: Tree)(using Context): MethodType

The method type corresponding to mt, except that bunched parameters are expanded. The expansion is determined using the original function tree origFun which has a type that is not yet converted to a type with bunched arguments.

The method type corresponding to mt, except that bunched parameters are expanded. The expansion is determined using the original function tree origFun which has a type that is not yet converted to a type with bunched arguments.

Attributes

def partialApply(fn: Tree, args: List[Tree])(using Context): Tree

An Apply node which might still be missing some arguments

An Apply node which might still be missing some arguments

Attributes

Concrete fields

val name: String