[documentation] Custom StaticAnnotation not represented on field Symbol

Compiler version

3.1.2-RC1-bin-20211022-f7abd32-NIGHTLY

Minimized code

import scala.quoted.*

final class Ann extends scala.annotation.StaticAnnotation

case class Foo(
    @Ann @transient bar: String,
    lorem: Int)

  inline def foo[T]: Unit = ${ fooImpl[T] }

  private def fooImpl[T: Type](using q: Quotes): Expr[Unit] = {
    import q.reflect.*

    val tpe = TypeRepr.of[T]
    val annots =
      tpe.typeSymbol.declaredFields.flatMap(_.annotations).mkString(", ")

    '{ println("annotations = " + ${ Expr(annots) }) }
  }

Output

annotations = Apply(Select(New(Ident(transient)),<init>),List())

Expectation

Custom StaticAnnotation Ann should be resolved (and so printed there)

[cchantep]

I mean at least adding a @see in StaticAnnotation and/or Annotation to meta indicating that it could be helpful to define the required retention. Otherwise you need to already know of @meta.

[KacperFKorban]

The annotation is on the primary constructor parameter. It can be accessed like this:

import scala.quoted.*

final class Ann extends scala.annotation.StaticAnnotation

case class Foo(
  @Ann @transient bar: String,
  lorem: Int
)

inline def foo[T]: Unit = ${ fooImpl[T] }

private def fooImpl[T: Type](using q: Quotes): Expr[Unit] = {
  import q.reflect.*

  val tpe = TypeRepr.of[T]
  val annots =
    tpe.typeSymbol.primaryConstructor.paramSymss.flatten.flatMap(_.annotations).mkString(", ")

  '{ println("annotations = " + ${ Expr(annots) }) }
}