feat(core): impl Step for NonZero<u*> by jalil-salame · Pull Request #127534 · rust-lang/rust

jalil-salame · 2024-07-09T20:01:32Z

Implement Step for NonZero unsigned integers as discussed in libs-team#130.

step_nonzero_impls was adapted from step_integer_impls and the tests were adapted from the step tests.

It seems to compile and pass the tests c:

I would like to test the edge cases, specially around overflows. To ensure safe code cannot generate a 0 NonZero, but I don't know how to go about it. I would love some feedback on that (and the PR overall).

The impls are tagges with #[unstable(feature = "step_trait", reason = "recently redesigned", issue = "42168")]. I assumed this was appropriate, but I am not sure.

rustbot · 2024-07-09T20:01:40Z

Thanks for the pull request, and welcome! The Rust team is excited to review your changes, and you should hear from @cuviper (or someone else) some time within the next two weeks.

Please see the contribution instructions for more information. Namely, in order to ensure the minimum review times lag, PR authors and assigned reviewers should ensure that the review label (S-waiting-on-review and S-waiting-on-author) stays updated, invoking these commands when appropriate:

@rustbot author: the review is finished, PR author should check the comments and take action accordingly
@rustbot review: the author is ready for a review, this PR will be queued again in the reviewer's queue

jalil-salame · 2024-07-09T20:36:24Z

UI tests are failing because the output of diagnostics was reorganized now that NonZero<u*> implement Step. A preliminary look at the contribution docs (https://rustc-dev-guide.rust-lang.org/tests/ui.html#ui-tests) does not show how to update the test output.

Its getting late so I'll take a look at it tomorrow and see if I find a way to update the ui tests.

cuviper · 2024-07-10T01:39:43Z

You can use ./x.py test --bless ui to update the expected output.

I know you already went through an ACP, but I think this still needs a libs-api reviewer since it is instantly stable -- Step is unstable, but it expands the stable impl<A> Iterator for Range<A> etc.

@rustbot label -T-libs +T-libs-api
r? libs-api

the8472

Regarding the stable API surface: We should also add the appropriate ExactSizeIterator impls, without repeating the 16-bit-platform mistakes.

jalil-salame · 2024-07-10T10:53:11Z

~~I'm having issues with the ui tests due to NixOS not having the library headers for rust-LLD in the right place. I'll see if I can fix later today.~~ Apparently the failing tests were not preventing me from updating the ui tests 🤦

jalil-salame · 2024-07-10T15:31:06Z

Regarding the stable API surface: We should also add the appropriate ExactSizeIterator impls, without repeating the 16-bit-platform mistakes.

I see that TrustedRandomAccess is cfg gated based on the pointer width but that is not the case for ExactSizeIterator for Range and RangeInclusive. See here. I assume that is because you don't want to implement a non-marker trait on types conditionally.

jalil-salame · 2024-08-26T17:36:13Z

@joshtriplett friendly ping. Should I assign someone else if you are too busy?

joshtriplett · 2024-08-26T19:56:27Z

r? libs-api

Amanieu · 2024-11-13T17:31:07Z

@rfcbot fcp merge

rfcbot · 2024-11-13T17:31:09Z

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 · 2025-02-06T12:37:12Z

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

programmerjake · 2026-01-02T13:04:17Z

@jalil-salame I ran into code where I wanted this again today, do you have time/motivation to get this PR ready for merging anytime soon?

rustbot · 2026-01-02T22:24:32Z

This PR was rebased onto a different main commit. Here's a range-diff highlighting what actually changed.

Rebasing is a normal part of keeping PRs up to date, so no action is needed—this note is just to help reviewers.

library/core/src/iter/range.rs

library/coretests/tests/iter/range.rs

library/core/src/iter/range.rs

Implement Step for NonZero unsigned integers as discussed in [libs-team#130][1]. [1]: rust-lang/libs-team#130 `step_nonzero_impls` was adapted from `step_integer_impls` and the tests were adapted from the step tests. Signed-off-by: Jalil David Salamé Messina <jalil.salame@gmail.com>

As per review comment Signed-off-by: Jalil David Salamé Messina <jalil.salame@gmail.com>

Signed-off-by: Jalil David Salamé Messina <jalil.salame@gmail.com>

library/core/src/iter/range.rs

library/coretests/tests/iter/range.rs

library/core/src/iter/range.rs

`NonZero<u16>` and `NonZero<usize>` can safely implement `ExactSizeIterator` for `RangeInclussive` Signed-off-by: Jalil David Salamé Messina <jalil.salame@gmail.com>

Small doc change

Specially around the limits Signed-off-by: Jalil David Salamé Messina <jalil.salame@gmail.com>

programmerjake

other than this one comment fix, looks good

View changes since this review

library/core/src/iter/range.rs

tgross35 · 2026-01-04T22:58:21Z

@rustbot label +I-libs-api-nominated

FCP completed for this change (#127534 (comment)) but that was about a year ago. I don't expect that anything changed, but re-nominating since it's been a while just to be sure.

tgross35

r=me after Jake's request, and after a thumbs up from libs-api. Will need a squash before merge of course.

View changes since this review

@programmerjake

Thanks @programmerjake Signed-off-by: Jalil David Salamé Messina <jalil.salame@gmail.com>

This time for sure

Amanieu · 2026-01-07T15:28:19Z

LGTM from the libs-api side.

rustbot assigned cuviper Jul 9, 2024

rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-libs Relevant to the library team, which will review and decide on the PR/issue. labels Jul 9, 2024

This comment has been minimized.

Sign in to view

rustbot added T-libs-api Relevant to the library API team, which will review and decide on the PR/issue. and removed T-libs Relevant to the library team, which will review and decide on the PR/issue. labels Jul 10, 2024

rustbot assigned joshtriplett and unassigned cuviper Jul 10, 2024

the8472 reviewed Jul 10, 2024

View reviewed changes

jalil-salame force-pushed the nonzero-uint-step branch from 718b7a9 to ca46c6d Compare July 10, 2024 12:48

jalil-salame force-pushed the nonzero-uint-step branch from ca46c6d to 18adf5f Compare July 10, 2024 15:36

jalil-salame requested a review from the8472 July 10, 2024 16:52

rustbot assigned m-ou-se and unassigned joshtriplett Aug 26, 2024

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 Nov 13, 2024

ChrisDenton added the S-waiting-on-team label Feb 6, 2025

rfcbot added the final-comment-period In the final comment period and will be merged soon unless new substantive objections are raised. label Feb 6, 2025

rfcbot removed the proposed-final-comment-period Proposed to merge/close by relevant subteam, see T-<team> label. Will enter FCP once signed off. label Feb 6, 2025

ChrisDenton removed the S-waiting-on-team label Feb 6, 2025

apiraino removed the to-announce Announce this issue on triage meeting label Apr 30, 2025

jalil-salame force-pushed the nonzero-uint-step branch from 18adf5f to 6600730 Compare January 2, 2026 22:24

jalil-salame requested a review from programmerjake January 2, 2026 22:24

This comment has been minimized.

Sign in to view

tgross35 reviewed Jan 2, 2026

View reviewed changes

library/core/src/iter/range.rs Outdated Show resolved Hide resolved

tgross35 reviewed Jan 2, 2026

View reviewed changes

library/coretests/tests/iter/range.rs Outdated Show resolved Hide resolved

tgross35 reviewed Jan 2, 2026

View reviewed changes

library/core/src/iter/range.rs Outdated Show resolved Hide resolved

jalil-salame added 2 commits January 3, 2026 00:34

fixup!: share steps_between impl

01b4833

As per review comment Signed-off-by: Jalil David Salamé Messina <jalil.salame@gmail.com>

jalil-salame force-pushed the nonzero-uint-step branch from 6600730 to 01b4833 Compare January 2, 2026 23:35

fixup! nicer macros for the impls

8f2dc63

Signed-off-by: Jalil David Salamé Messina <jalil.salame@gmail.com>

programmerjake reviewed Jan 4, 2026

View reviewed changes

library/core/src/iter/range.rs Show resolved Hide resolved

library/coretests/tests/iter/range.rs Outdated Show resolved Hide resolved

programmerjake reviewed Jan 4, 2026

View reviewed changes

library/core/src/iter/range.rs Outdated Show resolved Hide resolved

jalil-salame added 3 commits January 4, 2026 19:15

fixup! implement ExactSizeIterator for NonZero RangeInclussive

44bff2a

`NonZero<u16>` and `NonZero<usize>` can safely implement `ExactSizeIterator` for `RangeInclussive` Signed-off-by: Jalil David Salamé Messina <jalil.salame@gmail.com>

fixup! review comment

4628406

Small doc change

fixup! add more tests

b491f63

Specially around the limits Signed-off-by: Jalil David Salamé Messina <jalil.salame@gmail.com>

jalil-salame requested review from programmerjake and tgross35 January 4, 2026 18:15

programmerjake reviewed Jan 4, 2026

View reviewed changes

library/core/src/iter/range.rs Outdated Show resolved Hide resolved

rustbot added the I-libs-api-nominated Nominated for discussion during a libs-api team meeting. label Jan 4, 2026

tgross35 approved these changes Jan 4, 2026

View reviewed changes

jalil-salame and others added 2 commits January 6, 2026 10:35

fixup! typo

bed9dcd

Thanks @programmerjake Signed-off-by: Jalil David Salamé Messina <jalil.salame@gmail.com>

fixup! fix comment

5829e77

This time for sure

Amanieu removed the I-libs-api-nominated Nominated for discussion during a libs-api team meeting. label Jan 7, 2026

jalil-salame requested a review from programmerjake January 7, 2026 16:26

programmerjake approved these changes Jan 7, 2026

View reviewed changes

Uh oh!

Conversation

jalil-salame commented Jul 9, 2024 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

rustbot commented Jul 9, 2024

Uh oh!

This comment has been minimized.

jalil-salame commented Jul 9, 2024 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

cuviper commented Jul 10, 2024

Uh oh!

the8472 left a comment

Choose a reason for hiding this comment

Uh oh!

jalil-salame commented Jul 10, 2024 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

jalil-salame commented Jul 10, 2024

Uh oh!

jalil-salame commented Aug 26, 2024

Uh oh!

joshtriplett commented Aug 26, 2024

Uh oh!

Amanieu commented Nov 13, 2024

Uh oh!

rfcbot commented Nov 13, 2024 • edited by m-ou-se Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

rfcbot commented Feb 6, 2025

Uh oh!

programmerjake commented Jan 2, 2026

Uh oh!

rustbot commented Jan 2, 2026

Uh oh!

This comment has been minimized.

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

programmerjake left a comment • edited by rustbot Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Uh oh!

tgross35 commented Jan 4, 2026

Uh oh!

tgross35 left a comment • edited by rustbot Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Amanieu commented Jan 7, 2026

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

14 participants

jalil-salame commented Jul 9, 2024 •

edited

Loading

jalil-salame commented Jul 9, 2024 •

edited

Loading

jalil-salame commented Jul 10, 2024 •

edited

Loading

rfcbot commented Nov 13, 2024 •

edited by m-ou-se

Loading

programmerjake left a comment •

edited by rustbot

Loading

tgross35 left a comment •

edited by rustbot

Loading