TypeErasure

Type Members

final class CachedErasedValueType extends ErasedValueType
abstract case class ErasedValueType(tycon: TypeRef, erasedUnderlying: Type) extends CachedGroundType with ValueType with Product with Serializable

A type representing the semi-erasure of a derived value class, see SIP-15 where it's called "C$unboxed" for a class C.
A type representing the semi-erasure of a derived value class, see SIP-15 where it's called "C$unboxed" for a class C. Derived value classes are erased to this type during Erasure (when semiEraseVCs = true) and subsequently erased to their underlying type during ElimErasedValueType. This type is outside the normal Scala class hierarchy: it is a subtype of no other type and is a supertype only of Nothing. This is because this type is only useful for type adaptation (see Erasure.Boxing#adaptToType).
tycon
A TypeRef referring to the value class symbol
erasedUnderlying
The erased type of the single field of the value class

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

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

Definition Classes
AnyRef → Any
object ErasedValueType extends Serializable
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def erasedGlb(tp1: Type, tp2: Type, isJava: Boolean)(implicit ctx: Context): Type

The erased greatest lower bound picks one of the two argument types.
The erased greatest lower bound picks one of the two argument types. It prefers, in this order:
- arrays over non-arrays
- subtypes over supertypes, unless isJava is set
- real classes over traits
def erasedLub(tp1: Type, tp2: Type)(implicit ctx: Context): Type

The erased least upper bound is computed as follows
The erased least upper bound is computed as follows
- if both argument are arrays of objects, an array of the lub of the element types
- if both arguments are arrays of same primitives, an array of this primitive
- if one argument is array of primitives and the other is array of objects, Object
- if one argument is an array, Object
- otherwise a common superclass or trait S of the argument classes, with the following two properties: S is minimal: no other common superclass or trait derives from S] S is last : in the linearization of the first argument type tp1 there are no minimal common superclasses or traits that come after S. (the reason to pick last is that we prefer classes over traits that way).
def erasedRef(tp: Type)(implicit ctx: Context): Type

The erasure of a top-level reference.
The erasure of a top-level reference. Differs from normal erasure in that TermRefs are kept instead of being widened away.
def erasure(tp: Type)(implicit ctx: Context): Type

The standard erasure of a Scala type.
The standard erasure of a Scala type. Value classes are erased as normal classes.
tp
The type to erase.
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hasStableErasure(tp: Type)(implicit ctx: Context): Boolean

Does the (possibly generic) type tp have the same erasure in all its possible instantiations?
def hashCode(): Int

Definition Classes
AnyRef → Any
def isErasedType(tp: Type)(implicit ctx: Context): Boolean

A predicate that tests whether a type is a legal erased type.
A predicate that tests whether a type is a legal erased type. Only asInstanceOf and isInstanceOf may have types that do not satisfy the predicate. ErasedValueType is considered an erased type because it is valid after Erasure (it is eliminated by ElimErasedValueType).
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def isUnboundedGeneric(tp: Type)(implicit ctx: Context): Boolean

Is tp an abstract type or polymorphic type parameter that has Any, AnyVal, or a universal trait as upper bound and that is not Java defined? Arrays of such types are erased to Object instead of Object[].
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def sigName(tp: Type, isJava: Boolean)(implicit ctx: Context): TypeName
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
def transformInfo(sym: Symbol, tp: Type)(implicit ctx: Context): Type

The symbol's erased info.
The symbol's erased info. This is the type's erasure, except for the following symbols:
- For $asInstanceOf : [T]T
- For $isInstanceOf : [T]Boolean
- For all abstract types : = ?
- For companion methods : the erasure of their type with semiEraseVCs = false. The signature of these methods are used to keep a link between companions and should not be semi-erased.
- For Java-defined symbols: : the erasure of their type with isJava = true, semiEraseVCs = false. Semi-erasure never happens in Java.
- For all other symbols : the semi-erasure of their types, with isJava, isConstructor set according to symbol.
def valueErasure(tp: Type)(implicit ctx: Context): Type

The value class erasure of a Scala type, where value classes are semi-erased to ErasedValueType (they will be fully erased in ElimErasedValueType).
The value class erasure of a Scala type, where value classes are semi-erased to ErasedValueType (they will be fully erased in ElimErasedValueType).
tp
The type to erase.
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Docs: class TypeErasure | package core

object TypeErasure

Type Members

final class CachedErasedValueType extends ErasedValueType

abstract case class ErasedValueType(tycon: TypeRef, erasedUnderlying: Type) extends CachedGroundType with ValueType with Product with Serializable

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object ErasedValueType extends Serializable

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def erasedGlb(tp1: Type, tp2: Type, isJava: Boolean)(implicit ctx: Context): Type

def erasedLub(tp1: Type, tp2: Type)(implicit ctx: Context): Type

def erasedRef(tp: Type)(implicit ctx: Context): Type

def erasure(tp: Type)(implicit ctx: Context): Type

def finalize(): Unit

final def getClass(): Class[_]

def hasStableErasure(tp: Type)(implicit ctx: Context): Boolean

def hashCode(): Int

def isErasedType(tp: Type)(implicit ctx: Context): Boolean

final def isInstanceOf[T0]: Boolean

def isUnboundedGeneric(tp: Type)(implicit ctx: Context): Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def sigName(tp: Type, isJava: Boolean)(implicit ctx: Context): TypeName

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

def transformInfo(sym: Symbol, tp: Type)(implicit ctx: Context): Type

def valueErasure(tp: Type)(implicit ctx: Context): Type

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from AnyRef

Inherited from Any

Ungrouped