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

TreeChecker

object TreeChecker
Companion:
class
class Object
trait Matchable
class Any

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.