Skip to content

It would be nice if searching for ! in the docs gave you the never type's docs #49529

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom
Closed
scottmcm opened this issue Mar 31, 2018 · 0 comments
Closed

It would be nice if searching for ! in the docs gave you the never type's docs #49529

scottmcm opened this issue Mar 31, 2018 · 0 comments
Assignees
@GuillaumeGomez
Labels
C-enhancement Category: An issue proposing an enhancement or a PR with one. T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue.

Comments

@scottmcm
Copy link
Member

Today if you search for "!" you get a variety of results that I don't understand: https://doc.rust-lang.org/nightly/std/?search=!

It would be nice if the first result was for the "never" primitive type, which is spelled ! (https://doc.rust-lang.org/nightly/std/primitive.never.html)

cc #47630 #35121

(I think this gets A-rustdoc? I'll let someone more knowledgeable tag it...)
@GuillaumeGomez GuillaumeGomez self-assigned this Apr 5, 2018
@pietroalbini pietroalbini added T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue. C-enhancement Category: An issue proposing an enhancement or a PR with one. T-dev-tools-rustdoc labels Apr 6, 2018
@GuillaumeGomez GuillaumeGomez mentioned this issue Apr 7, 2018
Merged
bors added a commit that referenced this issue Apr 22, 2018
@bors
Auto merge of #49757 - GuillaumeGomez:never-search, r=QuietMisdreavus
bbdd1cf 
Add specific never search

Fixes #49529.

r? @QuietMisdreavus
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees

@GuillaumeGomez GuillaumeGomez

Labels
C-enhancement Category: An issue proposing an enhancement or a PR with one. T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@pietroalbini @GuillaumeGomez @scottmcm