Revert memberInfo extraction for typedefs

Author: BarkingBad

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

@@ -395,10 +395,9 @@ trait ClassLikeSupport:
       case LambdaTypeTree(params, body) => isTreeAbstract(body)
       case _ => false
     }
-    val memberInfo = unwrapMemberInfo(c, typeDef.symbol)
-    val generics = memberInfo.genericTypes.values.map(_.typeSymbol.tree).collect {
-      case t: TypeDef => mkTypeArgument(t)
-    }.toSeq
+    val (generics, tpeTree) = typeDef.rhs match
+      case LambdaTypeTree(params, body) => (params.map(mkTypeArgument(_)), body)
+      case tpe => (Nil, tpe)
 
     val kind = Kind.Type(!isTreeAbstract(typeDef.rhs), typeDef.symbol.isOpaque, generics)
     mkMember(typeDef.symbol, kind, tpeTree.asSignature)(deprecated = typeDef.symbol.isDeprecated())

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

@@ -159,8 +159,6 @@ trait TypesSupport:
         }
       }
       case t @ AppliedType(tpe, typeList) =>
-        // if tpe.typeSymbol.normalizedName == "SomeTraitWithHKTs" then
-          // println(typeList)
         import dotty.tools.dotc.util.Chars._
         if !t.typeSymbol.name.forall(isIdentifierPart) && typeList.size == 2 then
           inner(typeList.head)

scaladoc/src/dotty/tools/scaladoc/translators/ScalaSignatureProvider.scala

@@ -141,7 +141,8 @@ object ScalaSignatureProvider:
       .name(typeDef.name, typeDef.dri)
       .generics(tpe.typeParams)
     if(!tpe.opaque){
-      bdr.signature(typeDef.signature)
+      (if tpe.concreate then bdr.text(" = ") else bdr)
+        .signature(typeDef.signature)
     } else bdr