RefinedTypeTree ( tpt: Tree [ T ] , refinements: List [ Tree [ T ] ] )

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

[+] 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 ]