Closed
Description
Compiler version
3.0.1
Minimized code
In the documentation of scala.quoted.Quotes
(https://dotty.epfl.ch/api/scala/quoted/Quotes.html) we see the self types as if they are inherited.
trait Quotes { self: runtime.QuoteUnpickler & runtime.QuoteMatching =>
...
}
Expectation
Sefl types should not appear as inherited as those are not yet inherited. They guarantee that the implementation will inherit them.
We should show the self type in some form. Maybe the first code snippet could be charged for classes that have an explicit self type
- trait Quotes
+ trait Quotes { self: runtime.QuoteUnpickler & runtime.QuoteMatching }
Or maybe put it in its own section as most users will not care about this information.