scala.tools.nsc.transform.SpecializeTypes
All private members that are referenced are made protected, in order to be accessible from specialized subclasses.
All private members that are referenced are made protected, in order to be accessible from specialized subclasses.
A tree symbol substituter that substitutes on type skolems. If a type parameter is a skolem, it looks for the original symbol in the 'from' and maps it to the corresponding new symbol. The new symbol should probably be a type skolem as well (not enforced).
All private members are made protected in order to be accessible from specialized classes.