Skip to content

Self types appear as inherited in docs #13204

Closed
@nicolasstucki

Description

@nicolasstucki

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 =>
   ...
}

Screenshot 2021-07-29 at 14 26 50

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.

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions