Merge pull request #15440 from dotty-staging/scaladoc/this-type

Fix rendering ThisType

Author: Kordyjan

scaladoc-testcases/src/tests/typesSignatures.scala

@@ -52,4 +52,9 @@ class Operators
 
   import scala.compiletime.ops.boolean.*
   type Unary = ![true]
-}
+}
+
+trait ThisTypeTest
+{
+  def foo: this.type //expected: def foo: ThisTypeTest.this.type
+}

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

@@ -368,7 +368,7 @@ trait ClassLikeSupport:
       val overriddenSyms = methodSymbol.allOverriddenSymbols.map(_.owner)
       Origin.Overrides(overriddenSyms.map(s => Overridden(s.name, s.dri)).toSeq)
 
-    mkMember(methodSymbol, methodKind, memberInfo.res.asSignature)(origin = origin, deprecated = methodSymbol.isDeprecated())
+    mkMember(methodSymbol, methodKind, method.returnTpt.tpe.asSignature)(origin = origin, deprecated = methodSymbol.isDeprecated())
 
   def mkParameter(
     argument: ValDef,

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

@@ -42,12 +42,12 @@ trait TypesSupport:
         import reflect._
         tpeTree match
           case TypeBoundsTree(low, high) => typeBoundsTreeOfHigherKindedType(low.tpe, high.tpe)
-          case tpeTree: TypeTree => inner(tpeTree.tpe)
-          case term:  Term => inner(term.tpe)
+          case tpeTree: TypeTree => topLevelProcess(tpeTree.tpe)
+          case term:  Term => topLevelProcess(term.tpe)
 
   given TypeSyntax: AnyRef with
     extension (using Quotes)(tpe: reflect.TypeRepr)
-      def asSignature: SSignature = inner(tpe)
+      def asSignature: SSignature = topLevelProcess(tpe)
 
 
   private def plain(str: String): SignaturePart = Plain(str)
@@ -86,6 +86,12 @@ trait TypesSupport:
         case _ => false
       case _ => false
 
+  private def topLevelProcess(using Quotes)(tp: reflect.TypeRepr): SSignature =
+    import reflect._
+    tp match
+      case ThisType(tpe) => inner(tpe) :+ plain(".this.type")
+      case tpe => inner(tpe)
+
   // TODO #23 add support for all types signatures that makes sense
   private def inner(using Quotes)(tp: reflect.TypeRepr)(using indent: Int = 0): SSignature =
     import reflect._