This trait provides logic for assessing the validity of argument adaptations, such as tupling, unit-insertion, widening, etc.
The main attribution phase.
This class .
A generic means of breaking down types into their subcomponents.
Duplicate trees and re-type check them, taking care to replace and create fresh symbols for new local definitions.
This trait .
This trait provides methods to find various kinds of implicits.
This trait .
Code to deal with macros, namely with: * Compilation of macro definitions * Expansion of macro applications
Logic related to method synthesis which involves cooperation between Namer and Typer.
Mode constants.
This trait declares methods to create symbols and to enter them into scopes.
Translate pattern matching.
Post-attribution checking and transformation.
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.
Synthetic method implementations for case classes and case objects.
An interface to enable higher configurability of diagnostic messages regarding type errors.
This trait provides methods to assign types to trees.
Variances form a lattice, 0 <= COVARIANT <= Variances, 0 <= CONTRAVARIANT <= VARIANCES