Scala docs on extension methods

[nicolasstucki]

Where can we add the documentation of an extension method?

// This should work
/** Doc of `foo` */
extension (x: T) def foo(): U = ...

// Should this work? Should it warn?
/** Doc of `foo` */
extension (x: T) 
  def foo(): U = ...

extension (x: T) 
  // This should work
  /** Doc of `foo` */
  def foo(): U = ...

// Should this work? It is fragile if another method is added. Should it warn?
/** Doc of `foo` */
extension (x: T):
  def foo(): U = ...

extension (x: T):
  //  This should work
  /** Doc of `foo` */
  def foo(): U = ...

[nicolasstucki]

Currently the following does not get any documentation generated

    /** Members of Tree */
    extension (tree: Tree):
      /** Position in the source code */
      def pos(using ctx: Context): Position = internal.Tree_pos(tree)
      ...

https://github.com/lampepfl/dotty/blob/master/library/src/scala/tasty/Reflection.scala#L475
http://dotty.epfl.ch/api/scala/tasty/Reflection/Tree$.html

[nicolasstucki]

The documentation for extensions is not in the TASTy file