Fix #7052: Transform annotations in ReifyQuotes

Author: nicolasstucki

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

@@ -19,7 +19,7 @@ import dotty.tools.dotc.ast.tpd
 import typer.Implicits.SearchFailureType
 
 import scala.collection.mutable
-import dotty.tools.dotc.core.Annotations.Annotation
+import dotty.tools.dotc.core.Annotations._
 import dotty.tools.dotc.core.Names._
 import dotty.tools.dotc.core.StdNames._
 import dotty.tools.dotc.core.quoted._
@@ -405,6 +405,15 @@ class ReifyQuotes extends MacroTransform {
             // TODO move to FirstTransform to trigger even without quotes
             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
+            }
+            tree.symbol.annotations = newAnnotations
+            super.transform(tree)
           case _ =>
             super.transform(tree)
         }

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

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

tests/pos/i7052.scala

@@ -0,0 +1,7 @@
+import scala.quoted._
+class Test {
+  def foo(str: Expr[String]) given QuoteContext = '{
+    @deprecated($str, "")
+    def bar = ???
+  }
+}