scala3-compiler-bootstrapped/dotty.tools.dotc.transform/TreeChecker/TreeNodeChecker

TreeNodeChecker

object TreeNodeChecker extends TreeTraverser

Run some additional checks on the nodes of the trees. Specifically:

  • TypeTree can only appear in TypeApply args, New, Typed tpt, Closure tpt, SeqLiteral elemtpt, ValDef tpt, DefDef tpt, and TypeDef rhs.
class Object
trait Matchable
class Any

Value members

Concrete methods

def traverse(tree: Tree)(using Context): Unit

Inherited methods

def apply(x: Unit, tree: Tree)(using Context): Unit
Inherited from:
TreeTraverser
def apply(x: Unit, trees: List[Tree])(using Context): Unit
Inherited from:
TreeAccumulator
def foldMoreCases(x: Unit, tree: Tree)(using Context): Unit
Inherited from:
TreeAccumulator
def foldOver(x: Unit, tree: Tree)(using Context): Unit
Inherited from:
TreeAccumulator
def traverse(trees: List[Tree])(using Context): Unit
Inherited from:
TreeTraverser
protected def traverseChildren(tree: Tree)(using Context): Unit
Inherited from:
TreeTraverser