Symbol is a method that should be forwarded to 't'
Symbol is a specialized method whose body should be the target's method body.
A tree symbol substituter that substitutes on type skolems.
Symbol is a normalized member obtained by specializing 'target'.
The phase defined by this transform
Symbol is a special overloaded method of 'original', in the environment env.
Symbol is a specialized override paired with
Symbol is a specialized accessor for the
A specialized inner class that specializes original inner class
target on a type parameter of the enclosing class, in the typeenv
A standard phase template
List of phase names, this phase should run after
Phase name this phase will attach itself to, not allowing any phase to come between it and the phase name declared
Add method m to the set of symbols for which we need an implementation tree in the tree transformer.
This phase changes base classes.
Return the types
sym' should be specialized at. This may be some of the primitive types
or AnyRef. AnyRef means that a new type parameter T will be generated later, known to be a
subtype of AnyRef (T <: AnyRef).
These are in a meaningful order for stability purposes.
Is any type variable in
env' conflicting with any if its type bounds, when
type bindings in env' are taken into account?
Returns the generic class that was specialized to 'cls', or 'cls' itself if cls is not a specialized subclass.
clazz' any type parameters that need be specialized?
SubComponent are added to a HashSet and two phases are the same if they have the same name
Internal flag to tell external from internal phases
Just to mark uncheckable
The transformer factory
Return the generic class corresponding to this specialized class.
Return the specialized overload of sym in the given env, if any.
The phase corresponding to this subcomponent in the current compiler run
the name of the phase:
New flags defined by the phase which are not valid before
New flags defined by the phase which are not valid until immediately after it
Produces the symbols from type parameters
syms of the original owner,
in the given type environment
List of phase names, this phase should run before
The type environment is sound w.
Specialize 'clazz', in the environment
For a given class and concrete type arguments, give its specialized class
Return specialized type parameters.
Return the set of @specialized type variables mentioned by the given type.
Given an original class symbol and a list of types its type parameters are instantiated at returns a list of type parameters that should remain in the TypeRef when instantiating a specialized type.
Type parameters that survive when specializing in the specified environment.
Map class symbols to the type environments where they were created.