miniboxing.plugin.transform.minibox.inject.MiniboxInjectTreeTransformation.MiniboxTreeTransformer
A typer that creates new symbols for all definitions in the given tree and updates references to them while re-typechecking.
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).
(Since version 2.10.0) Use companionSymbolOf
instead
(Since version 2.10.0) Use companionSymbolOf
instead
(Since version 2.10.0) Use underlyingSymbol instead
This duplicator additionally performs casts of expressions if that is allowed by the
casts
map.