Force read unpickled trees to avoid Ycheck failure

Author: nicolasstucki

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

@@ -53,11 +53,17 @@ object PickledQuotes {
 
   /** Transform the expression into its fully spliced Tree */
   def quotedExprToTree[T](expr: quoted.Expr[T])(implicit ctx: Context): Tree = expr match {
-    case expr: TastyExpr[_] => unpickleExpr(expr)
+    case expr: TastyExpr[_] =>
+      val unpickled = unpickleExpr(expr)
+      val force = new TreeTraverser {
+        def traverse(tree: tpd.Tree)(implicit ctx: Context): Unit = traverseChildren(tree)
+      }
+      force.traverse(unpickled)
+      unpickled
     case expr: LiftedExpr[T] =>
       expr.value match {
         case value: Class[_] => ref(defn.Predef_classOf).appliedToType(classToType(value))
-        case value=> Literal(Constant(value))
+        case value => Literal(Constant(value))
       }
     case expr: TreeExpr[Tree] @unchecked => expr.tree
     case expr: FunctionAppliedTo[_, _] =>

tests/run/quote-force.check

@@ -0,0 +1 @@
+foo Location(List(a, b, c, d, e, f))

tests/run/quote-force/quoted_1.scala

@@ -0,0 +1,18 @@
+import scala.quoted._
+
+case class Location(owners: List[String])
+
+object Location {
+
+  implicit inline def location: Location = ~impl
+
+  def impl: Expr[Location] = {
+    val list = List("a", "b", "c", "d", "e", "f")
+    '(new Location(~list.toExpr))
+  }
+
+  private implicit def ListIsLiftable[T : Liftable : Type]: Liftable[List[T]] = {
+    case x :: xs  => '{ ~x.toExpr :: ~xs.toExpr }
+    case Nil => '{ List.empty[T] }
+  }
+}

tests/run/quote-force/quoted_2.scala

@@ -0,0 +1,12 @@
+import Location._
+
+object Test {
+  val loc1 = location
+  def main(args: Array[String]): Unit = {
+    foo(loc1)
+  }
+
+  def foo(implicit location: Location): Unit = {
+    println("foo " + location)
+  }
+}