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
Definition Classes
override
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
Definition Classes
override
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
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 checkCanThrow(tp: Type, span: Span)(using Context): Unit
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
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

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

Check that class does not declare same symbol twice

Check that class does not declare same symbol twice

Inherited from
Checking
override
Definition Classes
Inherited from
ReChecking

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

A hook to exclude selected symbols from double declaration check

A hook to exclude selected symbols from double declaration check

Inherited from
Checking