Scala docs on extension methods #9339
Description
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 = ...