Change the way inherited symbols are linked

Author: pikinier20

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

@@ -157,7 +157,18 @@ case class Member(
   knownChildren: Seq[LinkToType] = Nil,
   companion: Option[DRI] = None,
   deprecated: Option[Annotation] = None,
-)
+):
+  def needsOwnPage: Boolean =
+    def properKind(kind: Kind): Boolean = kind match
+      case Kind.Package => true
+      case _ if kind.isInstanceOf[Classlike] => true
+      case Kind.Given(inner, _, _) => properKind(inner)
+      case Kind.EnumCase(inner) => properKind(inner)
+      case _ => false
+
+    properKind(kind) &&
+      origin == Origin.RegularlyDefined &&
+      inheritedFrom.isEmpty
 
 object Member:
   def unapply(v: Member): Option[(String, DRI, Visibility, Kind, Origin)] =

scaladoc/src/dotty/tools/scaladoc/renderers/HtmlRenderer.scala

@@ -28,22 +28,10 @@ class HtmlRenderer(rootPackage: Member, val members: Map[DRI, Member])(using ctx
   private val args = summon[DocContext].args
   val staticSite = summon[DocContext].staticSiteContext
 
-  val effectiveMembers = members.filter( (dri, member) => member.origin == Origin.RegularlyDefined && member.inheritedFrom.isEmpty)
-
-  private def needsOwnPage(member: Member): Boolean =
-    def properKind(kind: Kind): Boolean = kind match
-      case Kind.Package => true
-      case _ if kind.isInstanceOf[Classlike] => true
-      case Kind.Given(inner, _, _) => properKind(inner)
-      case Kind.EnumCase(inner) => properKind(inner)
-      case _ => false
-
-    properKind(member.kind) &&
-      member.origin == Origin.RegularlyDefined &&
-      member.inheritedFrom.isEmpty
+  val effectiveMembers = members
 
   private def memberPage(member: Member): Page =
-    val childrenPages = member.members.filter(needsOwnPage)
+    val childrenPages = member.members.filter(_.needsOwnPage)
     Page(Link(member.name, member.dri), member, childrenPages.map(memberPage))
 
   val navigablePage: Page =

scaladoc/src/dotty/tools/scaladoc/renderers/MemberRenderer.scala

@@ -29,7 +29,7 @@ class MemberRenderer(signatureRenderer: SignatureRenderer)(using DocContext) ext
     case _ => Nil
 
   def inheritedFrom(m: Member) = m.inheritedFrom match
-    case Some(InheritedFrom(name, dri)) => tableRow("Inhertied from", signatureRenderer.renderLink(name, dri))
+    case Some(InheritedFrom(name, dri)) => tableRow("Inherited from", signatureRenderer.renderLink(name, dri))
     case _ => Nil
 
   def docAttributes(m: Member): Seq[AppliedTag] =
@@ -161,7 +161,7 @@ class MemberRenderer(signatureRenderer: SignatureRenderer)(using DocContext) ext
       ++ filterAttributes.map{ case (n, v) => Attr(s"data-f-$n") := v }
 
     div(topLevelAttr:_*)(
-      a(href:=link(member.dri).getOrElse("#"), cls := "documentableAnchor"),
+      a(href := (if member.needsOwnPage then link(member.dri).getOrElse("#") else s"#${member.dri.anchor}"), cls := "documentableAnchor"),
       div(annotations(member)),
       div(cls := "header monospace")(memberSingnature(member)),
       div(cls := "docs")(

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

@@ -188,10 +188,22 @@ trait ClassLikeSupport:
   }
 
   private def parseInheritedMember(c: ClassDef)(s: Tree): Option[Member] =
-    def inheritance = Some(InheritedFrom(s.symbol.owner.normalizedName, s.symbol.owner.dri))
+    def inheritance = Some(InheritedFrom(s.symbol.owner.normalizedName, s.symbol.dri))
     processTreeOpt(s)(s match
       case c: ClassDef if c.symbol.shouldDocumentClasslike && !c.symbol.isGiven => Some(parseClasslike(c, signatureOnly = true))
-      case other => parseMember(c)(other)
+      case c: ClassDef if c.symbol.owner.memberMethod(c.name).exists(_.flags.is(Flags.Given)) => Some(parseGivenClasslike(c))
+      case other => {
+        val parsed = parseMember(c)(other)
+        parsed.map(p =>
+          val parentDRI = c.symbol.dri
+          p.copy(
+            dri = p.dri.copy(
+              location = parentDRI.location,
+              origin = parentDRI.origin
+            )
+          )
+        )
+      }
     ).map(_.copy(inheritedFrom = inheritance))
 
   extension (c: ClassDef)