trait NoChecking
extends Checking

Constructors

Members

[+] override def checkClassType ( tp: Type , pos: Position , traitReq: Boolean , stablePrefixReq: Boolean ) ( implicit ctx: Context ) : Type

Check that tp is a class type. Also, if traitReq is true, check that tp is a trait. Also, if stablePrefixReq is true and phase is not after RefChecks, ch...

Check that tp is a class type. Also, if traitReq is true, check that tp is a trait. Also, if stablePrefixReq is true and phase is not after RefChecks, check that class prefix is stable.

[+] override def checkDerivedValueClass ( clazz: Symbol , stats: List [ Tree ] ) ( implicit ctx: Context ) : Unit

Verify classes extending AnyVal meet the requirements

Verify classes extending AnyVal meet the requirements

[+] override def checkFeasible ( tp: Type , pos: Position , where: => String ) ( implicit ctx: Context ) : Type

Check that any top-level type arguments in this type are feasible, i.e. that their lower bound conforms to their upper bound. If a type argument is infe...

Check that any top-level type arguments in this type are feasible, i.e. that their lower bound conforms to their upper bound. If a type argument is infeasible, issue and error and continue with upper bound.

[+] def checkFeasible$default$3 : String

Check that any top-level type arguments in this type are feasible, i.e. that their lower bound conforms to their upper bound. If a type argument is infe...

Check that any top-level type arguments in this type are feasible, i.e. that their lower bound conforms to their upper bound. If a type argument is infeasible, issue and error and continue with upper bound.

[+] override def checkImplicitParamsNotSingletons ( vparamss: List [ List [ ValDef ] ] ) ( implicit ctx: Context ) : Unit

Check that a non-implicit parameter making up the first parameter section of an implicit conversion is not a singleton type.

Check that a non-implicit parameter making up the first parameter section of an implicit conversion is not a singleton type.

[+] override def checkInlineConformant ( tree: Tree , what: => String ) ( implicit ctx: Context ) : Unit

Check that tree is a pure expression of constant type

Check that tree is a pure expression of constant type

[+] override def checkNoDoubleDefs ( cls: Symbol ) ( implicit ctx: Context ) : Unit

Check that class does not define same symbol twice

Check that class does not define same symbol twice

[+] override def checkNonCyclic ( sym: Symbol , info: TypeBounds , reportErrors: Boolean ) ( implicit ctx: Context ) : Type
[+] override def checkNotSingleton ( tpt: Tree , where: String ) ( implicit ctx: Context ) : Tree

Check that tpt does not refer to a singleton type

Check that tpt does not refer to a singleton type

[+] override def checkParentCall ( call: Tree , caller: ClassSymbol ) ( implicit ctx: Context ) : Unit
[+] override def checkSimpleKinded ( tpt: Tree ) ( implicit ctx: Context ) : Tree

Check that tpt does not define a higher-kinded type

Check that tpt does not define a higher-kinded type

[+] override def checkStable ( tp: Type , pos: Position ) ( implicit ctx: Context ) : Unit

Check that type tp is stable.

Check that type tp is stable.

[+] override def checkValue ( tree: Tree , proto: Type ) ( implicit ctx: Context ) : tree.type

Check that Java statics and packages can only be used in selections.

Check that Java statics and packages can only be used in selections.