Merge pull request #13753 from BarkingBad/scaladoc/fix-fbounded-types-signatures

Fix F-Bounded types signatures

Author: KacperFKorban

scaladoc-testcases/src/tests/fboundedTypeParameters.scala

@@ -0,0 +1,5 @@
+package tests
+package fboundedTypeParameters
+
+trait AOps[X[_]]
+trait A[T] extends AOps[A]

scaladoc/src/dotty/tools/scaladoc/api.scala

@@ -119,12 +119,13 @@ case class TypeParameter(
 
 case class Link(name: String, dri: DRI)
 
-sealed trait SignaturePart
+sealed trait SignaturePart:
+  val name: String
 
 // TODO (longterm) properly represent signatures
-case class Type(name: String, dri: Option[DRI]) extends SignaturePart
-case class Keyword(name: String) extends SignaturePart
-case class Plain(txt: String) extends SignaturePart
+case class Type(override val name: String, dri: Option[DRI]) extends SignaturePart
+case class Keyword(override val name: String) extends SignaturePart
+case class Plain(override val name: String) extends SignaturePart
 
 type Signature = List[SignaturePart]
 

scaladoc/src/dotty/tools/scaladoc/tasty/TypesSupport.scala

@@ -104,8 +104,8 @@ trait TypesSupport:
         inner(tpe) :+ plain("*")
       case AnnotatedType(tpe, _) =>
         inner(tpe)
-      case tl @ TypeLambda(params, paramBounds, resType@AppliedType(tpe, args))
-        if paramBounds.map(inner).forall(_.isEmpty) && params.zip(args.map(inner)).forall(List(_) == _) =>
+      case tl @ TypeLambda(params, paramBounds, AppliedType(tpe, args))
+        if paramBounds.map(inner).forall(_.isEmpty) && params.zip(args.map(inner).flatten.map(_.name)).forall(_ == _) =>
         inner(tpe)
       case tl @ TypeLambda(params, paramBounds, resType) =>
         plain("[").l ++ commas(params.zip(paramBounds).map { (name, typ) =>

scaladoc/test/dotty/tools/scaladoc/signatures/TranslatableSignaturesTestCases.scala

@@ -86,3 +86,5 @@ class ImplicitConversionsTest3 extends SignatureTest(
 class SpecializedSignature extends SignatureTest("specializedSignature", SignatureTest.all)
 
 class ContextBounds extends SignatureTest("contextBounds", SignatureTest.all)
+
+class FBoundedTypeParameters extends SignatureTest("fboundedTypeParameters", SignatureTest.all)