case class PolyTypeTree [ -T ]
extends Tree with TypTree

[typeparams] -> tpt

Constructors

PolyTypeTree ( tparams: List [ TypeDef [ T ] ] , body: Tree [ T ] )

Members

[+] type ThisTree = [-T >: dotty.tools.dotc.ast.Trees.Untyped] => dotty.tools.dotc.ast.Trees.PolyTypeTree[T] (not handled)

The type constructor at the root of the tree

The type constructor at the root of the tree

[+] val body : Tree [ T ]
[+] val tparams : List [ TypeDef [ T ] ]
[+] def _1 : T1
[+] def _2 : T2
[+] def copy ( tparams: List [ TypeDef [ T ] ] , body: Tree [ T ] ) : PolyTypeTree [ T ]
[+] def copy$default$1 : List [ TypeDef [ T ] ]
[+] def copy$default$2 : Tree [ T ]