TreeMapWithImplicits
A TreeMap that maintains the necessary infrastructure to support contextual implicit searches (type-scope implicits are supported anyway).
This incudes implicits defined in scope as well as imported implicits.
Value members
Concrete methods
Transform statements, while maintaining import contexts and expression contexts in the same way as Typer does. The code addresses additional concerns:
Transform statements, while maintaining import contexts and expression contexts in the same way as Typer does. The code addresses additional concerns:
- be tail-recursive where possible
- don't re-allocate trees where nothing has changed
- Definition Classes