case class
RefinedTypeTree
[
-T
]
extends
ProxyTree
with
TypTree
tpt { refinements }
Constructors
RefinedTypeTree
(
tpt:
Tree
[
T
]
,
refinements:
List
[
Tree
[
T
]
]
)
Members
type
ThisTree
=
[-T >: dotty.tools.dotc.ast.Trees.Untyped] =>
dotty.tools.dotc.ast.Trees.RefinedTypeTree[T] (not handled)
The type constructor at the root of the tree
The type constructor at the root of the tree
val
refinements
: List
[
Tree
[
T
]
]
val
tpt
: Tree
[
T
]
def
_1
: T1
def
_2
: T2
def
copy
(
tpt:
Tree
[
T
]
,
refinements:
List
[
Tree
[
T
]
]
)
: RefinedTypeTree
[
T
]
def
copy$default$1
: Tree
[
T
]
def
copy$default$2
: List
[
Tree
[
T
]
]
def
forwardTo
: Tree
[
T
]