Cache quotes containing definitions

Author: nicolasstucki

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

@@ -184,7 +184,14 @@ object PickledQuotes {
     QuotesCache.getTree(pickled) match
       case Some(tree) =>
         quotePickling.println(s"**** Using cached quote for TASTY\n$tree")
-        tree
+        treeOwner(tree) match
+          case Some(owner) if owner == ctx.owner =>
+            // Copy the cached tree to make sure the all definitions are unique.
+            // If the owner is different, then changeOwnerOfTree will change the owner later.
+            TreeTypeMap(oldOwners = List(owner), newOwners = List(owner)).apply(tree)
+          case _ =>
+            tree
+
       case _ =>
         val bytes = pickled match
           case pickled: String => TastyString.unpickle(pickled)
@@ -197,25 +204,14 @@ object PickledQuotes {
         unpickler.enter(Set.empty)
 
         val tree = unpickler.tree
-
-        var cacheable = true // TODO: can we remove this?
+        QuotesCache(pickled) = tree
 
         // Make sure trees and positions are fully loaded
         new TreeTraverser {
-          def traverse(tree: Tree)(using Context): Unit =
-            tree match
-              case _: DefTree =>
-                if !tree.symbol.hasAnnotation(defn.QuotedRuntime_SplicedTypeAnnot)
-                && !tree.symbol.hasAnnotation(defn.QuotedRuntimePatterns_patternTypeAnnot)
-                then
-                  cacheable = false
-              case _ =>
-            traverseChildren(tree)
+          def traverse(tree: Tree)(using Context): Unit = traverseChildren(tree)
         }.traverse(tree)
 
         quotePickling.println(i"**** unpickled quote\n$tree")
-        if cacheable then
-          QuotesCache(pickled) = tree
 
         tree
   }