path dependent types do not appear in Scaladoc

[j-mie6]

reproduction steps

sealed trait Foo {
  type T[A]
}
case object Bar extends Foo {
  type T[A] = A => A
}

object Foo {
  def foo[A](x: Foo)(y: List[x.T[A]]): Unit = ???
}

using Scala 2.13.4.

problem

When you generate the scaladoc for this example, the type given in the docs is

def foo[A](x: Foo)(y: List[T[A]]): Unit

Where clicking on T will take you to Foo. This is confusing at best and misleading at worst (where that type might legitimately exist within the codebase). It appears that scaladoc ignores the path-dependent type, even when using the deprecated @usecase annotation!