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