TreeMapWithPreciseStatContexts
A treemap that generates the same contexts as the original typer for statements. This means:
- statements that are not definitions get the exprOwner as owner
- imports are reflected in the contexts of subsequent statements
class TreeMapWithImplicits
class TreeMapWithStages
class PCPCheckAndHeal
class Transformer
class PostTyperTransformer