Open
Description
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.