dotty.tools.dotc.transform.TreeChecker$
See theTreeChecker companion class Attributes
- Companion:
- class
- Graph
- Supertypes
- Self type
Members list
Concise view
Type members
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
- Graph
- Supertypes
- Self type
Value members
- Check that TypeParamRefs and MethodParams refer to an enclosing type.
- Check that all type variables are instantiated.
Attributes
scala3-compiler-bootstrapped