Scaladoc: fix inkuire generation for PolyTypes

Author: KacperFKorban

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

@@ -317,6 +317,8 @@ trait InkuireSupport(using DocContext) extends Resources:
         inner(tpe, vars)
       case tl @ TypeLambda(paramNames, _, resType) =>
         Inkuire.TypeLambda(paramNames.map(Inkuire.TypeLambda.argument), inner(resType, vars)) //TODO [Inkuire] Type bounds
+      case pt @ PolyType(paramNames, _, resType) =>
+        Inkuire.TypeLambda(paramNames.map(Inkuire.TypeLambda.argument), inner(resType, vars)) //TODO [Inkuire] Type bounds
       case r: Refinement =>
         inner(r.info, vars) //TODO [Inkuire] Refinements
       case t @ AppliedType(tpe, typeList) =>
@@ -357,10 +359,8 @@ trait InkuireSupport(using DocContext) extends Resources:
         Inkuire.Type.unresolved //TODO [Inkuire] <- should be handled by Singleton case, but didn't work
       case MatchType(bond, sc, cases) =>
         inner(sc, vars)
-      case ParamRef(TypeLambda(names, _, _), i) =>
-        Inkuire.TypeLambda.argument(names(i))
-      case ParamRef(m: MethodType, i) =>
-        inner(m.paramTypes(i), vars)
+      case ParamRef(binder: LambdaType, i) =>
+        Inkuire.TypeLambda.argument(binder.paramNames(i))
       case RecursiveType(tp) =>
         inner(tp, vars)
       case m@MethodType(_, typeList, resType) =>