ExtractSemanticInfo

If set, implicit search is enabled

Can this transform change the base types of a type?

Can this transform create or delete non-private members?

Can this transform change the parents of a class?

Check what the phase achieves, to be called at any point after it is finished.

True for all phases except NoPhase

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

This property is queried when phases are first assembled. If it is false, the phase will be dropped from the set of phases to traverse.

This property is queried before a phase is run. If it is false, the phase is skipped.

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).

A hook that allows to transform the usual context passed to the function that prints a compilation unit after a phase

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

List of names of phases that should precede this phase

Convert a compilation unit's tree to a string; can be overridden

Returns a string representation of the object.

The default representation is platform dependent.

A name given to the Phase that can be used to debug the compiler. For instance, it is possible to print trees after a given phase using:

$ ./bin/scalac -Xprint:<phaseNameHere> sourceFile.scala