A typer that creates new symbols for all definitions in the given tree and updates references to them while re-typechecking.
A typer that creates new symbols for all definitions in the given tree and updates references to them while re-typechecking. All types in the tree, except for TypeTrees, are erased prior to type checking. TypeTrees are fixed by substituting invalid symbols for the new ones.
Return the special typer for duplicate method bodies.
Return the special typer for duplicate method bodies.
Retype the given tree in the given context.
Retype the given tree in the given context. Use this method when retyping a method in a different class. The typer will replace references to the this of the old class with the new class, and map symbols through the given 'env'. The environment is a map from type skolems to concrete types (see SpecializedTypes).
Duplicate trees and re-type check them, taking care to replace and create fresh symbols for new local definitions.
miniboxing