typechecker

Type Members

1. trait Adaptations extends AnyRef

   This trait provides logic for assessing the validity of argument adaptations, such as tupling, unit-insertion, widening, etc.

2. trait Analyzer extends Contexts with Namers with Typers with Infer with Implicits with Variances with EtaExpansion with SyntheticMethods with Unapplies with Macros with NamesDefaults with TypeDiagnostics with ContextErrors with StdAttachments with AnalyzerPlugins

   The main attribution phase.

3. trait AnalyzerPlugins extends AnyRef

4. trait Checkable extends AnyRef

   On pattern matcher checkability:

5. abstract class ConstantFolder extends AnyRef

   This class .

6. trait ContextErrors extends AnyRef

7. trait Contexts extends AnyRef

8. trait DestructureTypes extends AnyRef

   A generic means of breaking down types into their subcomponents.

9. class DivergentImplicit extends Exception

10. abstract class Duplicators extends Analyzer

    Duplicate trees and re-type check them, taking care to replace and create fresh symbols for new local definitions.

11. trait EtaExpansion extends AnyRef

    This trait .

12. trait Implicits extends AnyRef

    This trait provides methods to find various kinds of implicits.

13. trait Infer extends Checkable

    This trait .

14. trait Macros extends FastTrack with Traces

    Code to deal with macros, namely with: * Compilation of macro definitions * Expansion of macro applications

15. trait MethodSynthesis extends AnyRef

    Logic related to method synthesis which involves cooperation between Namer and Typer.

16. trait Modes extends AnyRef

    Mode constants.

17. trait Namers extends MethodSynthesis

    This trait declares methods to create symbols and to enter them into scopes.

18. trait NamesDefaults extends AnyRef

19. abstract class RefChecks extends SubComponent with InfoTransform with reflect.internal.transform.RefChecks

    Post-attribution checking and transformation.

20. trait StdAttachments extends AnyRef

21. abstract class SuperAccessors extends SubComponent with Transform with TypingTransformers

    This phase adds super accessors for all super calls that either appear in a trait or have as a target a member of some outer class.

22. trait SyntheticMethods extends TreeDSL

    Synthetic method implementations for case classes and case objects.

23. trait Tags extends AnyRef

24. abstract class TreeCheckers extends Analyzer

25. trait TypeDiagnostics extends AnyRef

    An interface to enable higher configurability of diagnostic messages regarding type errors.

26. trait Typers extends Modes with Adaptations with Tags

    This trait provides methods to assign types to trees.

27. trait Unapplies extends TreeDSL

28. trait Variances extends AnyRef

    Variances form a lattice, 0 <= COVARIANT <= Variances, 0 <= CONTRAVARIANT <= VARIANCES