[WIP] Transform residual asInstanceOfs with evidences

Author: biboudis

compiler/src/dotty/tools/dotc/core/quoted/PickledQuotes.scala

@@ -8,12 +8,14 @@ import dotty.tools.dotc.core.Contexts._
 import dotty.tools.dotc.core.Decorators._
 import dotty.tools.dotc.core.StdNames._
 import dotty.tools.dotc.core.NameKinds
+import dotty.tools.dotc.core.Names._
 import dotty.tools.dotc.core.Mode
 import dotty.tools.dotc.core.Symbols._
 import dotty.tools.dotc.core.Types.Type
 import dotty.tools.dotc.core.tasty.TreePickler.Hole
 import dotty.tools.dotc.core.tasty.{PositionPickler, TastyPickler, TastyPrinter, TastyString}
 import dotty.tools.dotc.core.tasty.TreeUnpickler.UnpickleMode
+import scala.collection.mutable
 
 import scala.quoted.Types._
 import scala.quoted.Exprs._
@@ -40,7 +42,36 @@ object PickledQuotes {
         def traverse(tree: tpd.Tree)(implicit ctx: Context): Unit = traverseChildren(tree)
       }
       force.traverse(unpickled)
-      unpickled
+
+      val mapper = new TreeMap {
+
+        override def transform(tree: Tree)(implicit ctx: Context): Tree = tree match {
+          case Block(stats, expr) if expr.isType => {
+            val substMap: mutable.HashMap[Symbol, Tree] = new mutable.HashMap[Symbol, Tree]
+
+            stats.foreach(s => s match {
+              case tf: TypeDef => {
+                substMap.put(tf.symbol, tf.rhs)
+              }
+            })
+
+            val t = new TreeTypeMap(
+              treeMap = tree => substMap.getOrElse(tree.symbol, tree),
+              typeMap = tpe => {
+                println(tpe.show)
+                substMap.get(tpe.typeSymbol).fold(tpe)(_.tpe)
+              })
+
+            val ret = t.transform(expr)
+            println(">>> transformed: " + ret.show)
+            ret
+          }
+          case _ => super.transform(tree)
+        }
+      }
+
+      mapper.transform(unpickled)
+      // unpickled
     case expr: LiftedExpr[T] =>
       expr.value match {
         case value: Class[_] => ref(defn.Predef_classOf).appliedToType(classToType(value))