Check PCP in annotations

Author: nicolasstucki

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

@@ -38,6 +38,10 @@ class PCPCheckAndHeal(@constructorOnly ictx: Context) extends TreeMapWithStages(
       transform(tree)(ctx.withSource(tree.source))
     else tree match {
       case tree: DefDef if tree.symbol.is(Inline) && level > 0 => EmptyTree
+      case tree: DefTree =>
+        for (annot <- tree.symbol.annotations)
+          transform(annot.tree) given ctx.withOwner(tree.symbol)
+        checkLevel(super.transform(tree))
       case _ => checkLevel(super.transform(tree))
     }
   }

tests/neg/i7052.scala

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