This trait provides logic for assessing the validity of argument adaptations, such as tupling, unit-insertion, widening, etc.
The main attribution phase.
On pattern matcher checkability:
This class .
A value class to carry the boolean flags of a context, such as whether errors should be buffered or reported.
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 contains methods related to type parameter inference.
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.
This trait declares methods to create symbols and to enter them into scopes.
A pattern match such as
Post-attribution checking and transformation.
A more principled system for turning types into strings.
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.
Logic for turning a type into a String.
This trait provides methods to assign types to trees.