dotty.tools.dotc.transform.TreeChecker
See theTreeChecker companion class
object TreeChecker
Attributes
- Companion
- class
- Graph
-
- Supertypes
- Self type
-
TreeChecker.type
Members list
Type members
Classlikes
Attributes
- Supertypes
-
class ReTypertrait ReCheckingclass Typertrait Migrationstrait Derivingtrait QuotesAndSplicestrait Checkingtrait Dynamictrait Inferencingtrait ImportSuggestionstrait Implicitstrait Applicationstrait Compatibilitytrait TypeAssignerclass Namerclass Objecttrait Matchableclass AnyShow 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 Checkerclass ReTypertrait ReCheckingclass Typertrait Migrationstrait Derivingtrait QuotesAndSplicestrait Checkingtrait Dynamictrait Inferencingtrait ImportSuggestionstrait Implicitstrait Applicationstrait Compatibilitytrait TypeAssignerclass Namerclass Objecttrait Matchableclass AnyShow all
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
- Self type
-
TreeNodeChecker.type
Value members
Concrete methods
- Check that TypeParamRefs and MethodParams refer to an enclosing type.
- Check that all type variables are instantiated.
Attributes
In this article