case class
AnnotatedType
extends
UncachedProxyType
with
ValueType
An annotated type tpe @ annot
Constructors
AnnotatedType
(
tpe:
Type
,
annot:
Annotation
)
Members
val
annot
: Annotation
val
tpe
: Type
def
_1
: T1
def
_2
: T2
def
copy
(
tpe:
Type
,
annot:
Annotation
)
: AnnotatedType
def
copy$default$1
: Type
def
copy$default$2
: Annotation
def
derivedAnnotatedType
(
tpe:
Type
,
annot:
Annotation
)
: AnnotatedType
override
def
stripAnnots
(
implicit
ctx:
Context
)
: Type
Remove all AnnotatedTypes wrapping this type.
Remove all AnnotatedTypes wrapping this type.
override
def
stripTypeVar
(
implicit
ctx:
Context
)
: Type
Map a TypeVar to either its instance if it is instantiated, or its origin, if not, until the result is no longer a TypeVar. Identity on all other types...
Map a TypeVar to either its instance if it is instantiated, or its origin, if not, until the result is no longer a TypeVar. Identity on all other types.
override
def
underlying
(
implicit
ctx:
Context
)
: Type
The type to which this proxy forwards operations.
The type to which this proxy forwards operations.