Language tour should have a section on path-dependent types

[SethTisue]

https://docs.scala-lang.org/tour/tour-of-scala.html

(perhaps there's something in the old "Scala by Example" document that could be used as a starting point? not sure)

[SethTisue]

https://stackoverflow.com/questions/2693067/what-is-meant-by-scalas-path-dependent-types has lots of upvotes, but it's pretty brief.

[julienrf]

In my opinion this page does not contain a good example: https://docs.scala-lang.org/tour/abstract-type-members.html (what are the benefits compared to using a type parameter here?). It should be redesigned to use a compelling example that would also demonstrate path-dependent types.