Add annotations to type parameters

Author: pikinier20

scala3doc-testcases/src/tests/specializedSignature.scala

@@ -0,0 +1,11 @@
+package tests
+
+package specializedSignature
+
+import scala.{specialized}
+
+trait AdditiveMonoid[@specialized(Int, Long, Float, Double) A]
+{
+  def a: A
+   = ???
+}

scala3doc/src/dotty/dokka/model/api/api.scala

@@ -116,6 +116,7 @@ case class Parameter(
 )
 
 case class TypeParameter(
+  annotations: Seq[Annotation],
   variance: "" | "+" | "-",
   name: String,
   dri: DRI,

scala3doc/src/dotty/dokka/tasty/BasicSupport.scala

@@ -15,15 +15,22 @@ trait BasicSupport:
   export SymOps._
 
   def parseAnnotation(annotTerm: Term): Annotation =
+    import dotty.tools.dotc.ast.Trees.{SeqLiteral}
     val dri = annotTerm.tpe.typeSymbol.dri
+    def inner(t: Term): List[Annotation.AnnotationParameter] = t match {
+        case i: Ident => List(Annotation.LinkParameter(None, i.tpe.typeSymbol.dri, i.name))
+        case Typed(term, tpeTree) => inner(term)
+        case SeqLiteral(args, tpeTree) => args.map(_.asInstanceOf[Term]).flatMap(inner)
+        case Literal(constant) => List(Annotation.PrimitiveParameter(None, constant.show))
+        case NamedArg(name, Literal(constant)) => List(Annotation.PrimitiveParameter(Some(name), constant.show))
+        case x @ Select(qual, name) => List.empty
+        case other => List(Annotation.UnresolvedParameter(None, other.show))
+      }
+
+
     val params = annotTerm match
       case Apply(target, appliedWith) => {
-        appliedWith.flatMap {
-          case Literal(constant) => Some(Annotation.PrimitiveParameter(None, constant.show))
-          case NamedArg(name, Literal(constant)) => Some(Annotation.PrimitiveParameter(Some(name), constant.show))
-          case x @ Select(qual, name) => None
-          case other => Some(Annotation.UnresolvedParameter(None, other.show))
-        }
+        appliedWith.flatMap(inner)
       }
 
     Annotation(dri, params)

scala3doc/src/dotty/dokka/tasty/ClassLikeSupport.scala

@@ -395,6 +395,7 @@ trait ClassLikeSupport:
       else ""
 
     TypeParameter(
+      argument.symbol.getAnnotations(),
       variancePrefix,
       argument.symbol.normalizedName,
       argument.symbol.dri,

scala3doc/src/dotty/dokka/translators/ScalaSignatureUtils.scala

@@ -48,6 +48,9 @@ trait SignatureBuilder extends ScalaSignatureUtils {
     def annotationsInline(d: Parameter): SignatureBuilder =
         d.annotations.foldLeft(this){ (bdr, annotation) => bdr.buildAnnotation(annotation) }
 
+    def annotationsInline(t: TypeParameter): SignatureBuilder =
+        t.annotations.foldLeft(this){ (bdr, annotation) => bdr.buildAnnotation(annotation) }
+
     private def buildAnnotation(a: Annotation): SignatureBuilder =
        text("@").driLink(a.dri.location.split('.').last, a.dri).buildAnnotationParams(a).text(" ")
 
@@ -77,7 +80,7 @@ trait SignatureBuilder extends ScalaSignatureUtils {
       text(all.toSignatureString()).text(kind + " ")
 
     def generics(on: Seq[TypeParameter]) = list(on.toList, "[", "]"){ (bdr, e) =>
-      bdr.text(e.variance).memberName(e.name, e.dri).signature(e.signature)
+      bdr.annotationsInline(e).text(e.variance).memberName(e.name, e.dri).signature(e.signature)
     }
 
     def functionParameters(params: Seq[ParametersList]) =

scala3doc/test/dotty/dokka/SignatureTestCases.scala

@@ -82,4 +82,6 @@ class ImplicitConversionsTest3 extends SignatureTest(
   SignatureTest.all,
   sourceFiles = List("implicitConversions2"),
   filterFunc = _.toString.endsWith("ClassWithConversionWithProperType.html")
-)
+)
+
+class SpecializedSignature extends SignatureTest("specializedSignature", SignatureTest.all)