The main attribution phase.
This class .
This trait .
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 .
Mode constants.
This trait declares methods to create symbols and to enter them into scopes.
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