abstract class TypeAlias
extends TypeBounds

Constructors

TypeAlias ( alias: Type , variance: Int )

Members

val alias : Type
override val variance : Int
override def & ( that: TypeBounds ) ( implicit ctx: Context ) : TypeBounds
override def boundsInterval ( implicit ctx: Context ) : TypeBounds

The implied bounds, where aliases are mapped to intervals from Nothing/Any

The implied bounds, where aliases are mapped to intervals from Nothing/Any

def derivedTypeAlias ( alias: Type , variance: Int ) ( implicit ctx: Context ) : TypeAlias
def derivedTypeAlias$default$2 : Int
override def | ( that: TypeBounds ) ( implicit ctx: Context ) : TypeBounds