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.

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

Tracking Issue for 'ordering helpers' #79885

Closed
3 tasks done
jnqnfe opened this issue Dec 10, 2020 · 6 comments · Fixed by #84523
Closed
3 tasks done

Tracking Issue for 'ordering helpers' #79885

jnqnfe opened this issue Dec 10, 2020 · 6 comments · Fixed by #84523
Labels
C-tracking-issue Category: A tracking issue for an RFC or an unstable feature. disposition-merge This issue / PR is in PFCP or FCP with a disposition to merge it. finished-final-comment-period The final comment period is finished for this PR / Issue. Libs-Tracked Libs issues that are tracked on the team's project board. T-libs-api Relevant to the library API team, which will review and decide on the PR/issue.

Comments

@jnqnfe
Copy link
Contributor

jnqnfe commented Dec 10, 2020

Feature gate: #![feature(ordering_helpers)]

This is a tracking issue for the 'ordering helpers' feature, which sets out to add some simple helpers to Ordering such as is_ge() for checking whether an instance of Ordering is 'greater than or equal' (is the Greater or Equal variant, not the Less variant).

Public API

// core::cmp
impl Ordering {
    pub const fn is_eq(self) -> bool;
    pub const fn is_ne(self) -> bool;
    pub const fn is_lt(self) -> bool;
    pub const fn is_gt(self) -> bool;
    pub const fn is_le(self) -> bool;
    pub const fn is_ge(self) -> bool;
}

Steps / History

Unresolved Questions

  • None yet.
@jnqnfe jnqnfe added the C-tracking-issue Category: A tracking issue for an RFC or an unstable feature. label Dec 10, 2020
@jnqnfe
Copy link
Contributor Author

jnqnfe commented Dec 11, 2020

@scottmcm / @sfackler Please advise on next steps.

  • Do I make the stabilization PR myself or a team member?
  • Given this is such a trivial addition, how much time roughly to wait before doing so? (I presume the FCP starts after that PR is created?)

@m-ou-se m-ou-se added the T-libs-api Relevant to the library API team, which will review and decide on the PR/issue. label Dec 31, 2020
@m-ou-se
Copy link
Member

m-ou-se commented Dec 31, 2020

@jnqnfe Thanks for working on this! I've edited this tracking issue to match the new template for library tracking issues we have now. (It didn't exist yet when you opened this issue. But from now on there should be a 'library tracking issue' option when filing a new issue.)

Do I make the stabilization PR myself or a team member?

To make sure the discussion doesn't split over two different issues/PRs, we prefer to keep everthing including the stabilization decision on this tracking issue. A libs team member can kick off the stabilization process, at which point the rfcbot will ask all the team members to verify they agree with stabilization. Once enough members agree and there are no concerns, the 'final commenting period' begins: this issue will be marked as such and will be listed in the next This Week in Rust newsletter. If no blocking concerns are raised in that period of 10 days, a stabilzation PR can be opened by anyone which can then be approved right away.

Given this is such a trivial addition, how much time roughly to wait before doing so?

Depends a bit on how much in a hurry you are with this new feature, but it's usually a good idea to wait a few release cycles. That way, it has also been visible in the stable documentation for a while (marked as nightly-only), giving it some more exposure to the world.

I presume the FCP starts after that PR is created?

We recently decided to change that, to avoid a new discussion starting on that PR separate from the discussion on the tracking issue. We now prefer to start the FCP on the tracking issue first. (I'll update the new tracking issue template to include this information.)

@m-ou-se m-ou-se added the Libs-Tracked Libs issues that are tracked on the team's project board. label Jan 6, 2021
@Amanieu
Copy link
Member

Amanieu commented Apr 14, 2021

@rfcbot merge

@rfcbot
Copy link

rfcbot commented Apr 14, 2021

Team member @Amanieu has proposed to merge this. The next step is review by the rest of the tagged team members:

No concerns currently listed.

Once a majority of reviewers approve (and at most 2 approvals are outstanding), this will enter its final comment period. If you spot a major issue that hasn't been raised at any point in this process, please speak up!

See this document for info about what commands tagged team members can give me.

@rfcbot rfcbot added proposed-final-comment-period Proposed to merge/close by relevant subteam, see T-<team> label. Will enter FCP once signed off. disposition-merge This issue / PR is in PFCP or FCP with a disposition to merge it. labels Apr 14, 2021
@rfcbot
Copy link

rfcbot commented Apr 14, 2021

🔔 This is now entering its final comment period, as per the review above. 🔔

@rfcbot rfcbot added final-comment-period In the final comment period and will be merged soon unless new substantive objections are raised. and removed proposed-final-comment-period Proposed to merge/close by relevant subteam, see T-<team> label. Will enter FCP once signed off. labels Apr 14, 2021
@rfcbot rfcbot added the finished-final-comment-period The final comment period is finished for this PR / Issue. label Apr 24, 2021
@rfcbot
Copy link

rfcbot commented Apr 24, 2021

The final comment period, with a disposition to merge, as per the review above, is now complete.

As the automated representative of the governance process, I would like to thank the author for their work and everyone else who contributed.

The RFC will be merged soon.

@rfcbot rfcbot added to-announce Announce this issue on triage meeting and removed final-comment-period In the final comment period and will be merged soon unless new substantive objections are raised. labels Apr 24, 2021
@bors bors closed this as completed in 9758d53 Apr 26, 2021
@apiraino apiraino removed the to-announce Announce this issue on triage meeting label Apr 29, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
C-tracking-issue Category: A tracking issue for an RFC or an unstable feature. disposition-merge This issue / PR is in PFCP or FCP with a disposition to merge it. finished-final-comment-period The final comment period is finished for this PR / Issue. Libs-Tracked Libs issues that are tracked on the team's project board. T-libs-api Relevant to the library API team, which will review and decide on the PR/issue.
Projects
None yet
Development

Successfully merging a pull request may close this issue.

5 participants