Add support for another shape of Lambda types

Author: romanowski

scala3doc-testcases/src/example/typeAndObjects/binaryops.scala

@@ -0,0 +1,14 @@
+package example.typeAndObjects
+
+
+sealed trait Expr
+
+object Expr{
+  case class BinaryOp(offset: Int, lhs: Expr, op: BinaryOp.Op, rhs: Expr) extends Expr
+  
+  object BinaryOp{
+    sealed trait Op
+    case object `<<` extends Op
+    case object `>>` extends Op
+  }
+}

scala3doc-testcases/src/tests/typeLambdas.scala

@@ -10,4 +10,6 @@ type Id[T <: AnyKind]
 
 type TL1  =  Id[[X, Y] =>> Map[X,Y]]
 
-type TL2 = Id[[X >: Int] =>> [Y <: String] =>> Map[X, Y]]
+type TL2 = Id[[X >: Int] =>> [Y <: String] =>> Map[X, Y]]
+
+type LabdaA = List[(x: String) => List[x.type]]

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

@@ -243,6 +243,8 @@ trait TypesSupport:
         inner(sc) ++ texts(" match {\n") ++ casesTexts ++ texts("}")
 
       case ParamRef(TypeLambda(names, _, _), i) => texts(names.apply(i))
+      
+      case ParamRef(m: MethodType, i) => texts(m.paramNames(i))
 
       case RecursiveType(tp) => inner(tp)