Skip to content

Rename partition_at_index to select_nth #77091

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
Closed
Mokosha wants to merge 1 commit into from
Closed

Rename partition_at_index to select_nth #77091

Mokosha wants to merge 1 commit into from

Conversation

@Mokosha
Copy link
Contributor

@Mokosha Mokosha commented Sep 23, 2020

This is in service of the stabilization requirements of #55300

@rust-highfive
Copy link
Contributor

rust-highfive commented Sep 23, 2020

r? @kennytm

(rust_highfive has picked a reviewer for you, use r? to override)

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Sep 23, 2020
kennytm
kennytm reviewed Sep 23, 2020
View reviewed changes
library/core/src/slice/mod.rs
/// v == [-5, -3, 1, 4, 2]);
/// ```
#[unstable(feature = "slice_partition_at_index", issue = "55300")]
#[unstable(feature = "slice_select_nth_unstable", issue = "55300")]
Copy link
Member

@kennytm kennytm Sep 23, 2020

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Since #55300 has already been FCP'ed to stabilize, it's better just mark all methods as #[stable], wait until the FCP ends, and merge this as the stabilization PR.

@kennytm kennytm added S-waiting-on-fcp Status: PR is in FCP and is awaiting for FCP to complete. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Sep 23, 2020
@bors
Copy link
Collaborator

bors commented Oct 13, 2020

☔ The latest upstream changes (presumably #77639) made this pull request unmergeable. Please resolve the merge conflicts.

Note that reviewers usually do not review pull requests until merge conflicts are resolved! Once you resolve the conflicts, you should change the labels applied by bors to indicate that your PR is ready for review. Post this as a comment to change the labels:

@rustbot modify labels: +S-waiting-on-review -S-waiting-on-author

@bors bors added the S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. label Oct 13, 2020
@kennytm
Copy link
Member

kennytm commented Oct 13, 2020

The function is already stabilized as select_nth_unstable in #77639, so this PR is no longer needed. Thanks for the contribution.

@kennytm kennytm closed this Oct 13, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@kennytm kennytm kennytm left review comments

Assignees

@kennytm kennytm

Labels

S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. S-waiting-on-fcp Status: PR is in FCP and is awaiting for FCP to complete.

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@Mokosha @rust-highfive @bors @kennytm