Conversation
|
Hey! It looks like you've submitted a new PR for the library teams! If this PR contains changes to any Examples of
|
|
r? @m-ou-se (rust-highfive has picked a reviewer for you, use r? to override) |
|
@rfcbot merge |
|
Team member @joshtriplett 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. |
|
🔔 This is now entering its final comment period, as per the review above. 🔔 |
|
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. This will be merged soon. |
|
From #87601:
Has this been addressed yet? There doesn't seem to be much interest in that particular function tho. |
|
@Dylan-DPC Could you please update the @bors delegate+ |
|
✌️ @Dylan-DPC can now approve this pull request |
|
👋 Hello, I'm writing this comment in this stabilization PR to notify you, the authors of this PR, that #100591 has been merged, which implemented a change in how features are stabilized. Your PR has been filed before the change, so will likely require modifications in order to comply with the new rules. I recommend you to:
That's it! The If you have any questions, feel free to drop by the zulip stream, or ping me directly in this PR's thread. Thanks! 👋 |
| /// ``` | ||
| #[unstable(feature = "mixed_integer_ops", issue = "87840")] | ||
| #[rustc_const_unstable(feature = "mixed_integer_ops", issue = "87840")] | ||
| #[must_use = "this returns the result of the operation, \ |
There was a problem hiding this comment.
Looks like an accidental change on this line.
|
closing this as #101555 is being merged |
Closes #87840