Skip to content
New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

Add core::cmp::equiv to prelude #6146

Closed
Aatch opened this issue May 1, 2013 · 3 comments
Closed

Add core::cmp::equiv to prelude #6146

Aatch opened this issue May 1, 2013 · 3 comments
Labels
C-enhancement Category: An issue proposing an enhancement or a PR with one. E-easy Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.

Comments

@Aatch
Copy link
Contributor

Aatch commented May 1, 2013

As mentioned in https://mail.mozilla.org/pipermail/rust-dev/2013-April/003867.html, equiv should probably be imported by default.

Related: #6145

Nominating for maturity 1.
@graydon
Copy link
Contributor

graydon commented May 2, 2013

For future reference: to nominate for a milestone, mention the milestone you think it belongs on and tag the bug with I-nominated. We go through the nominations once a week and either accept or decline them.

I've adjusted this accordingly.

@graydon
Copy link
Contributor

graydon commented May 2, 2013

accepted for feature complete

@Sodel-the-Vociferous Sodel-the-Vociferous mentioned this issue May 3, 2013
Closed
bors added a commit that referenced this issue May 3, 2013
@bors
auto merge of #6216 : Sodel-the-Vociferous/rust/dralston-6146, r=graydon
4332f81 
cc #6146
@Aatch
Copy link
Contributor Author

Aatch commented May 9, 2013

fixed by #6216

@Aatch Aatch closed this as completed May 9, 2013
bors added a commit to rust-lang-ci/rust that referenced this issue Oct 24, 2020
@bors
Auto merge of rust-lang#6146 - woshilapin:patch-1, r=flip1995
cad10fa 
clippy_lint: Fix doc on 'option_if_let_else'

changelog: none
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
C-enhancement Category: An issue proposing an enhancement or a PR with one. E-easy Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@graydon @Aatch