Rework reflect annotations API

Also update SourceCode implementation

Author: nicolasstucki

compiler/src/scala/quoted/runtime/impl/QuotesImpl.scala

@@ -1807,7 +1807,7 @@ class QuotesImpl private (using val ctx: Context) extends Quotes, QuoteUnpickler
     object AnnotatedTypeMethodsImpl extends AnnotatedTypeMethods:
       extension (self: AnnotatedType):
         def underlying: TypeRepr = self.underlying.stripTypeVar
-        def annot: Term = self.annot.tree
+        def annotation: Term = self.annot.tree
       end extension
     end AnnotatedTypeMethodsImpl
 
@@ -2304,8 +2304,14 @@ class QuotesImpl private (using val ctx: Context) extends Quotes, QuoteUnpickler
 
         def tree: Tree = FromSymbol.definitionFromSym(self)
 
-        def annots: List[Term] =
-          self.annotations.flatMap {
+        def hasAnnotation(annotSym: Symbol): Boolean =
+          self.denot.hasAnnotation(annotSym)
+
+        def getAnnotation(annotSym: Symbol): Option[Term] =
+          self.denot.getAnnotation(annotSym).map(_.tree)
+
+        def annotations: List[Term] =
+          self.denot.annotations.flatMap {
             case _: dotc.core.Annotations.BodyAnnotation => Nil
             case annot => annot.tree :: Nil
           }

compiler/src/scala/quoted/runtime/impl/printers/SourceCode.scala

@@ -370,7 +370,7 @@ object SourceCode {
         this += "throw "
         printTree(expr)
 
-      case Apply(fn, args) if fn.symbol == Symbol.requiredMethod("scala.internal.Quoted.exprQuote") =>
+      case Apply(fn, args) if fn.symbol == Symbol.requiredMethod("scala.quoted.runtime.quote") =>
         args.head match {
           case Block(stats, expr) =>
             this += "'{"
@@ -385,12 +385,7 @@ object SourceCode {
             this += "}"
         }
 
-      case TypeApply(fn, args) if fn.symbol == Symbol.requiredMethod("scala.internal.Quoted.typeQuote") =>
-        this += "'["
-        printTypeTree(args.head)
-        this += "]"
-
-      case Apply(fn, arg :: Nil) if fn.symbol == Symbol.requiredMethod("scala.internal.Quoted.exprSplice") =>
+      case Apply(fn, arg :: Nil) if fn.symbol == Symbol.requiredMethod("scala.quoted.runtime.splice") =>
         this += "${"
         printTree(arg)
         this += "}"
@@ -594,8 +589,9 @@ object SourceCode {
 
     private def printFlatBlock(stats: List[Statement], expr: Term)(using elideThis: Option[Symbol]): this.type = {
       val (stats1, expr1) = flatBlock(stats, expr)
+      val splicedTypeAnnot = Symbol.requiredClass("scala.quoted.runtime.SplicedType").primaryConstructor
       val stats2 = stats1.filter {
-        case tree: TypeDef => !tree.symbol.annots.exists(_.symbol.maybeOwner == Symbol.requiredClass("scala.internal.Quoted.quoteTypeTag"))
+        case tree: TypeDef => !tree.symbol.hasAnnotation(splicedTypeAnnot)
         case _ => true
       }
       if (stats2.isEmpty) {
@@ -1271,7 +1267,7 @@ object SourceCode {
     }
 
     private def printDefAnnotations(definition: Definition)(using elideThis: Option[Symbol]): this.type = {
-      val annots = definition.symbol.annots.filter {
+      val annots = definition.symbol.annotations.filter {
         case Annotation(annot, _) =>
           val sym = annot.tpe.typeSymbol
           sym != Symbol.requiredClass("scala.forceInline") &&

library/src/scala/quoted/Quotes.scala

@@ -2731,7 +2731,7 @@ trait Quotes { self: runtime.QuoteUnpickler & runtime.QuoteMatching =>
     trait AnnotatedTypeMethods:
       extension (self: AnnotatedType):
         def underlying: TypeRepr
-        def annot: Term
+        def annotation: Term
       end extension
     end AnnotatedTypeMethods
 
@@ -3560,8 +3560,14 @@ trait Quotes { self: runtime.QuoteUnpickler & runtime.QuoteMatching =>
         */
         def tree: Tree
 
+        /** Is the annotation defined with `annotSym` attached to this symbol? */
+        def hasAnnotation(annotSym: Symbol): Boolean
+
+        /** Get the annotation defined with `annotSym` attached to this symbol */
+        def getAnnotation(annotSym: Symbol): Option[Term]
+
         /** Annotations attached to this symbol */
-        def annots: List[Term]
+        def annotations: List[Term]
 
         /** Does this symbol come from a currently compiled source file? */
         def isDefinedInCurrentRun: Boolean