scala3-compiler-bootstrapped
API
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/dotty.tools.dotc.transform/TreeChecker

TreeChecker

dotty.tools.dotc.transform.TreeChecker$
See theTreeChecker companion class
object TreeChecker

Attributes

Companion
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

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.

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type

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.

Attributes

Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL