Erasure

Assert that tree type and its widened underlying type are erased. Also assert that term refs have fixed symbols (so we are sure they need not be reloaded using member; this would likely fail as signatures may change after erasure).

List of names of phases that should precede this phase

If set, implicit search is enabled

Can this transform change the base types of a type?

The sequence position of this phase in the given context where 0 is reserved for NoPhase and the first real phase is at position 1. -1 if the phase is not installed in the context.

Output should be checkable by TreeChecker

Is this phase the standard typerphase? True for TyperPhase, but not for other first phases (such as FromTasty or Parser). The predicate is tested in some places that perform checks and corrections. It's different from ctx.isAfterTyper (and cheaper to test).

The last phase during which the transformed denotations are valid

If set, allow missing or superfluous arguments in applications and type applications.

The validity period of the transformed denotations in the given context