scala3-compiler-bootstrapped/dotty.tools.dotc.typer/NoChecking

NoChecking

trait NoChecking extends ReChecking
trait Checking
class Object
trait Matchable
class Any
class Typer

Value members

Concrete methods

override def checkAnnotArgs(tree: Tree)(using Context): tree
Definition Classes
override def checkCaseInheritance(parentSym: Symbol, caseCls: ClassSymbol, pos: SrcPos)(using Context): Unit
Definition Classes
override def checkClassType(tp: Type, pos: SrcPos, traitReq: Boolean, stablePrefixReq: Boolean)(using Context): Type
Definition Classes
override def checkDerivedValueClass(clazz: Symbol, stats: List[Tree])(using Context): Unit
Definition Classes
override def checkFeasibleParent(tp: Type, pos: SrcPos, where: => String)(using Context): Type
Definition Classes
override def checkFeature(name: TermName, description: => String, featureUseSite: Symbol, pos: SrcPos)(using Context): Unit
Definition Classes
override def checkImplicitConversionDefOK(sym: Symbol)(using Context): Unit
Definition Classes
override def checkImplicitConversionUseOK(tree: Tree)(using Context): Unit
Definition Classes
override def checkInInlineContext(what: String, pos: SrcPos)(using Context): Unit
Definition Classes
override def checkMembersOK(tp: Type, pos: SrcPos)(using Context): Type
Definition Classes
override def checkNoForwardDependencies(vparams: List[ValDef])(using Context): Unit
Definition Classes
override def checkNoTargetNameConflict(stats: List[Tree])(using Context): Unit
Definition Classes
override def checkNonCyclic(sym: Symbol, info: TypeBounds, reportErrors: Boolean)(using Context): Type
Definition Classes
override def checkNonCyclicInherited(joint: Type, parents: List[Type], decls: Scope, pos: SrcPos)(using Context): Unit
Definition Classes
override def checkParentCall(call: Tree, caller: ClassSymbol)(using Context): Unit
Definition Classes
override def checkSimpleKinded(tpt: Tree)(using Context): Tree
Definition Classes
override def checkStable(tp: Type, pos: SrcPos, kind: String)(using Context): Unit
Definition Classes
override def checkTraitInheritance(parentSym: Symbol, cls: ClassSymbol, pos: SrcPos)(using Context): Unit
Definition Classes
override def checkValidInfix(tree: InfixOp, meth: Symbol)(using Context): Unit
Definition Classes

Inherited methods

override def checkAnnotApplicable(annot: Tree, sym: Symbol)(using Context): Boolean
Definition Classes
Inherited from
ReChecking
override def checkEnum(cdef: TypeDef, cls: Symbol, firstParent: Symbol)(using Context): Unit
Definition Classes
Inherited from
ReChecking
override def checkEnumCaseRefsLegal(cdef: TypeDef, enumCtx: Context)(using Context): Unit
Definition Classes
Inherited from
ReChecking
override def checkEnumParent(cls: Symbol, firstParent: Symbol)(using Context): Unit
Definition Classes
Inherited from
ReChecking
override def checkFullyAppliedType(tree: Tree)(using Context): Unit
Definition Classes
Inherited from
ReChecking
def checkIrrefutable(sel: Tree, pat: Tree, isPatDef: Boolean)(using Context): Boolean

Check that pattern pat is irrefutable for scrutinee type sel.tpe. This means sel is either marked @unchecked or sel.tpe conforms to the pattern's type. If pattern is an UnApply, do the check recursively.

Check that pattern pat is irrefutable for scrutinee type sel.tpe. This means sel is either marked @unchecked or sel.tpe conforms to the pattern's type. If pattern is an UnApply, do the check recursively.

Inherited from
Checking
def checkLegalExportPath(path: Tree, selectors: List[ImportSelector])(using Context): Unit

Check that path is a legal prefix for an export clause

Check that path is a legal prefix for an export clause

Inherited from
Checking
def checkLegalImportPath(path: Tree)(using Context): Unit

Check that path is a legal prefix for an import clause

Check that path is a legal prefix for an import clause

Inherited from
Checking
override def checkMatchable(tp: Type, pos: SrcPos, pattern: Boolean)(using Context): Unit
Definition Classes
Inherited from
ReChecking
def checkNoDoubleDeclaration(cls: Symbol)(using Context): Unit

Check that class does not declare same symbol twice

Check that class does not declare same symbol twice

Inherited from
Checking
override def checkNoModuleClash(sym: Symbol)(using Context): Unit
Definition Classes
Inherited from
ReChecking
def checkRealizableBounds(cls: Symbol, pos: SrcPos)(using Context): Unit

Check that all type members of tp have realizable bounds

Check that all type members of tp have realizable bounds

Inherited from
Checking
override def checkRefsLegal(tree: Tree, badOwner: Symbol, allowed: (Name, Symbol) => Boolean, where: String)(using Context): Unit
Definition Classes
Inherited from
ReChecking
def excludeFromDoubleDeclCheck(sym: Symbol)(using Context): Boolean

A hook to exclude selected symbols from double declaration check

A hook to exclude selected symbols from double declaration check

Inherited from
Checking