Do not Ycheck inlined positions for macro annotation classes

In macro annotation classes, as part of the macro expansion, users can
mess with `Inlined` nodes, which can break YCheckPositions checks.
Similarly to how it is done for macro methods, we now skip checking
classes with a macro annotation.

Author: jchyb

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

@@ -38,6 +38,8 @@ class YCheckPositions extends Phase {
             // Recursivlely check children while keeping track of current source
             reporting.trace(i"check pos ${tree.getClass} ${tree.source} ${sources.head} $tree") {
               tree match {
+                case tree: TypeDef if tree.isClassDef && MacroAnnotations.hasMacroAnnotation(tree.symbol) =>
+                  () // FIXME macro annotated classes can drop Inlined nodes. As with macro defs, they should be reinserted after macro expansion
                 case tree @ Inlined(_, bindings, expansion) if tree.inlinedFromOuterScope =>
                   assert(bindings.isEmpty)
                   val old = sources

tests/pos-macros/i17007/Macro_1.scala

@@ -0,0 +1,18 @@
+//> using option "-Ycheck:all"
+import scala.annotation.MacroAnnotation
+import scala.quoted.*
+
+class annotation extends MacroAnnotation:
+  def transform(using Quotes)(tree: quotes.reflect.Definition) =
+    import quotes.reflect.*
+
+    tree match
+      case tree: ClassDef =>
+        val List(DefDef(name, paramss, tpt, Some(body))) = tree.body: @unchecked
+
+        val rhs = body match
+          case Inlined(_, _, Block(List(Apply(_ /* `locally` */, List(rhs))), _)) => rhs
+
+        val method = DefDef.copy(tree.body.head)(name, paramss, tpt, Some(rhs.changeOwner(tree.body.head.symbol)))
+
+        List(ClassDef.copy(tree)(tree.name, tree.constructor, tree.parents, tree.self, List(method)))

tests/pos-macros/i17007/Test_2.scala

@@ -0,0 +1,8 @@
+//> using option "-Ycheck:all"
+transparent inline def inlineMethod(v: Int) =
+  locally(v)
+  0
+
+@annotation
+class Test:
+  def method = inlineMethod(42)