Check PCP in annotations

Author: nicolasstucki

compiler/src/dotty/tools/dotc/ast/TreeMapWithImplicits.scala

@@ -62,7 +62,7 @@ class TreeMapWithImplicits extends tpd.TreeMap {
   private def nestedScopeCtx(defs: List[Tree])(implicit ctx: Context): Context = {
     val nestedCtx = ctx.fresh.setNewScope
     defs foreach {
-      case d: DefTree => nestedCtx.enter(d.symbol)
+      case d: DefTree if d.symbol.isOneOf(GivenOrImplicit) => nestedCtx.enter(d.symbol)
       case _ =>
     }
     nestedCtx
@@ -73,7 +73,7 @@ class TreeMapWithImplicits extends tpd.TreeMap {
     new TreeTraverser {
       def traverse(tree: Tree)(implicit ctx: Context): Unit = {
         tree match {
-          case d: DefTree => nestedCtx.enter(d.symbol)
+          case d: DefTree if d.symbol.isOneOf(GivenOrImplicit) => nestedCtx.enter(d.symbol)
           case _ =>
         }
         traverseChildren(tree)

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 = ???
+  }
+}