Closed
Description
A lot of the feedback on https://internals.rust-lang.org/t/feedback-on-important-traits-rustdoc-feature/12752 had better suggestions for the "important traits" feature.
Some options were:
- Featured traits
- Key traits
- Notable traits
My personal preference is for "notable traits" because "important" is a much stronger value judgement whereas "notable" basically means "we thought you should know this" which is exactly what the feature does.
Thoughts? @rust-lang/rustdoc
We should pick something and rename.
Activity
GuillaumeGomez commentedon Aug 7, 2020
I don't have strong feelings here but I think "Notable traits" is the best proposition out of the three.
jyn514 commentedon Aug 7, 2020
I agree 👍 , "featured traits" might be confused with cargo features and "key traits" has different connotations in my mind.
camelid commentedon Aug 9, 2020
I'd be interested in doing this.
@rustbot claim
Rollup merge of rust-lang#75344 - camelid:rename-important-to-notable…