Handle annon annotations that have splices

Author: nicolasstucki

compiler/src/dotty/tools/dotc/transform/ReifyQuotes.scala

@@ -406,11 +406,10 @@ class ReifyQuotes extends MacroTransform {
             cpy.DefDef(tree)(rhs = defaultValue(tree.rhs.tpe))
 
           case tree: DefTree if level >= 1 =>
-            val newAnnotations = tree.symbol.annotations.mapconserve {
-              case ConcreteAnnotation(annotTree) =>
-                val newAnnotTree = transform(annotTree) given ctx.withOwner(tree.symbol)
-                ConcreteAnnotation(newAnnotTree)
-              case annot => annot
+            val newAnnotations = tree.symbol.annotations.mapconserve { annot =>
+              val newAnnotTree = transform(annot.tree) given ctx.withOwner(tree.symbol)
+              if (annot.tree == newAnnotTree) annot
+              else ConcreteAnnotation(newAnnotTree)
             }
             tree.symbol.annotations = newAnnotations
             super.transform(tree)

compiler/test/dotc/pos-from-tasty.blacklist

@@ -6,4 +6,3 @@ t3612.scala
 
 # Other failure
 t802.scala
-i7052.scala