Skip to content

Scaladoc should not expand the prefix of a dependent type #10017

Open
@scabug

Description

@scabug

Given a source file:

package myPackage
object TypeRefinementScalaDoc {
  trait Base {
    type T1
    type T2
    type Out <: (T1, T2)
  }
  type Alias1 = Base {
    type T1 <: AnyVal
  }
  type Alias2 = Alias1 {
    type T1 = Int
    type T2 = String
  }

  def out: Alias2#Out = ???
}

I expect the type of out method in the generated HTML is Alias2#Out, the same as the source file. Unfortunately it is (Alias1 \{ ... /* 2 definitions in type refinement */ \})#Out, a partially expanded type alias, which makes little sense to readers.

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions