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

TreeChecker

object TreeChecker
Companion:
class
class Object
trait Matchable
class Any

Type members

Classlikes

object TreeNodeChecker extends TreeTraverser

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

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.

Value members

Concrete methods

def checkNoOrphans(tp0: Type, tree: Tree)(using Context): Type
  • Check that TypeParamRefs and MethodParams refer to an enclosing type.
  • Check that all type variables are instantiated.