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

class Checker(phasesToCheck: Seq[Phase]) extends ReTyper, Checking

Attributes

Supertypes
class ReTyper
trait ReChecking
class Typer
trait Migrations
trait Deriving
trait Checking
trait Dynamic
trait Inferencing
trait Implicits
trait Applications
trait TypeAssigner
class Namer
class Object
trait Matchable
class Any
Show all
Known subtypes
class LocalChecker
class LocalChecker(phasesToCheck: Seq[Phase]) extends Checker

Tree checker that can be applied to a local tree.

Tree checker that can be applied to a local tree.

Attributes

Supertypes
class Checker
class ReTyper
trait ReChecking
class Typer
trait Migrations
trait Deriving
trait Checking
trait Dynamic
trait Inferencing
trait Implicits
trait Applications
trait TypeAssigner
class Namer
class Object
trait Matchable
class Any
Show all

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 checkMacroGeneratedTree(original: Tree, expansion: Tree)(using Context): Unit
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

def checkParents(sym: ClassSymbol, parents: List[Tree])(using Context): Unit