Sealed traits for rustdoc #68235
Labels
A-rustdoc-ui
Area: Rustdoc UI (generated HTML)
A-trait-system
Area: Trait system
C-feature-request
Category: A feature request, i.e: not implemented / a PR.
T-rustdoc
Relevant to the rustdoc team, which will review and decide on the PR/issue.
T-rustdoc-frontend
Relevant to the rustdoc-frontend team, which will review and decide on the web UI/UX output.
Comments
Mark-Simulacrum
added
the
T-rustdoc
jyn514
added
A-trait-system
fmease
added
A-trait-system
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
In #67562, it was proposed to make
trait Anyan unsafe trait. This was ultimately rejected, as we do not currently want downstream users to see that it is unsafe. However, we wanted a way to have both. The suggestion is that rustdoc could have an (unstable, for now) attribute that indicates that a trait is "sealed," in the sense that no upstream impls are permitted.rustdoc would then show this trait as unimplementable. It would not show any unsafety on the trait (as it is then irrelevant to readers of the documentation).
See #67562 (comment), #67562 (comment).
The text was updated successfully, but these errors were encountered: