Skip to content

Added unchecked_div and unchecked_rem to signed and unsigned numerical types#137598

Open
madhav-madhusoodanan wants to merge 2 commits intorust-lang:mainfrom
madhav-madhusoodanan:feature-unchecked-div-rem
Open

Added unchecked_div and unchecked_rem to signed and unsigned numerical types#137598
madhav-madhusoodanan wants to merge 2 commits intorust-lang:mainfrom
madhav-madhusoodanan:feature-unchecked-div-rem

Conversation

@madhav-madhusoodanan
Copy link
Copy Markdown
Contributor

@madhav-madhusoodanan madhav-madhusoodanan commented Feb 25, 2025

Context

Adds unchecked_div and unchecked_rem to signed and unsigned numerical types in core.
This is an unstable addition.

Related Issue

@rustbot
Copy link
Copy Markdown
Collaborator

rustbot commented Feb 25, 2025

r? @tgross35

rustbot has assigned @tgross35.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

@rustbot 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 Feb 25, 2025
@madhav-madhusoodanan madhav-madhusoodanan changed the title [WIP] Added unchecked_div and unchecked_rem to signed and unsigned numerical types Added unchecked_div and unchecked_rem to signed and unsigned numerical types Feb 25, 2025
@rust-log-analyzer

This comment has been minimized.

Sign in to view
madhav-madhusoodanan
madhav-madhusoodanan commented Feb 25, 2025
View reviewed changes
@rust-log-analyzer

This comment has been minimized.

Sign in to view
@madhav-madhusoodanan madhav-madhusoodanan force-pushed the feature-unchecked-div-rem branch 2 times, most recently from ed68857 to 1a6551b Compare February 25, 2025 11:44
@tgross35
Copy link
Copy Markdown
Contributor

tgross35 commented Feb 25, 2025

r? @the8472 since you expressed some concerns at #136716

@rustbot rustbot assigned the8472 and unassigned tgross35 Feb 25, 2025
@the8472
Copy link
Copy Markdown
Member

the8472 commented Feb 25, 2025 •
edited
Loading

On the tracking issue I was mostly voicing conern about the naming, i.e. having two functions with the same name but different safety preconditions.
The libs-API team already accepted this as unstable addition so my concern shouldn't be a blocker for this PR, but I'd want to be reconsidered before stabilization, that's why I noted it on the tracking issue.

Sky9x
Sky9x suggested changes Feb 26, 2025
View reviewed changes
Copy link
Copy Markdown
Contributor

@Sky9x Sky9x left a comment

Choose a reason for hiding this comment

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

Some of the requested changes are only on 1 of the functions, please make sure they are applied to all 4 (if applicable).

@rust-log-analyzer

This comment has been minimized.

Sign in to view
@madhav-madhusoodanan
Copy link
Copy Markdown
Contributor Author

madhav-madhusoodanan commented Feb 26, 2025

Have updated documentation and corrected the failure condition being passed to assert_unsafe_precondition for unchecked_div and unchecked_rem functions in int_macros.rs.

Special thanks to @Sky9x for the suggestions.

@rustbot review

@rust-log-analyzer

This comment has been minimized.

Sign in to view
@madhav-madhusoodanan madhav-madhusoodanan changed the title Added unchecked_div and unchecked_rem to signed and unsigned numerical types [WIP] Added unchecked_div and unchecked_rem to signed and unsigned numerical types Feb 26, 2025
@rust-log-analyzer

This comment has been minimized.

Sign in to view
@madhav-madhusoodanan madhav-madhusoodanan force-pushed the feature-unchecked-div-rem branch 2 times, most recently from 0878b5e to 5d40a59 Compare February 26, 2025 09:48
@madhav-madhusoodanan madhav-madhusoodanan changed the title [WIP] Added unchecked_div and unchecked_rem to signed and unsigned numerical types Added unchecked_div and unchecked_rem to signed and unsigned numerical types Feb 26, 2025
Sky9x
Sky9x approved these changes Feb 26, 2025
View reviewed changes
Copy link
Copy Markdown
Contributor

@Sky9x Sky9x left a comment

Choose a reason for hiding this comment

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

LGTM!
Tip: You can collapse review comments by clicking on "Resolve Conversation" once you've addressed it

quaternic
quaternic reviewed Mar 1, 2025
View reviewed changes
@madhav-madhusoodanan madhav-madhusoodanan force-pushed the feature-unchecked-div-rem branch from 8d2a5b6 to 2c9342d Compare March 2, 2025 04:21
@madhav-madhusoodanan
Copy link
Copy Markdown
Contributor Author

madhav-madhusoodanan commented Mar 28, 2025 •
edited
Loading

I would be grateful if you could please take a look at this PR @the8472.

@karolzwolak
Copy link
Copy Markdown
Member

karolzwolak commented Aug 24, 2025

@the8472 friendly ping from wg-triage to review this

joboet
joboet approved these changes Sep 19, 2025
View reviewed changes
Copy link
Copy Markdown
Member

@joboet joboet left a comment •
edited by rustbot
Loading

Choose a reason for hiding this comment

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

This looks good to me, apart from two nits.

(and sorry for the delay, we try hard to avoid this, but sometimes it just happens)

View changes since this review

library/core/src/num/uint_macros.rs
///
/// [`unwrap_unchecked`]: option/enum.Option.html#method.unwrap_unchecked
#[doc = concat!("[`checked_div`]: ", stringify!($SelfT), "::checked_div")]
#[doc = concat!("[`wrapping_div`]: ", stringify!($SelfT), "::wrapping_div")]
Copy link
Copy Markdown
Member

@joboet joboet Sep 19, 2025

Choose a reason for hiding this comment

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

This link seems unused, or am I missing something?

Copy link
Copy Markdown
Contributor Author

@madhav-madhusoodanan madhav-madhusoodanan Dec 12, 2025

Choose a reason for hiding this comment

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

Seems like we do, right? for checked_div and wrapping_div

Copy link
Copy Markdown
Contributor Author

@madhav-madhusoodanan madhav-madhusoodanan Dec 12, 2025

Choose a reason for hiding this comment

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

(Sorry for the delay in response from my side too)

library/core/src/num/int_macros.rs
///
/// [`unwrap_unchecked`]: option/enum.Option.html#method.unwrap_unchecked
#[doc = concat!("[`checked_div`]: ", stringify!($SelfT), "::checked_div")]
#[doc = concat!("[`wrapping_div`]: ", stringify!($SelfT), "::wrapping_div")]
Copy link
Copy Markdown
Member

@joboet joboet Sep 19, 2025

Choose a reason for hiding this comment

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

This link too.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@scottmcm scottmcm scottmcm left review comments

@joboet joboet joboet approved these changes

+2 more reviewers

@quaternic quaternic quaternic left review comments

@Sky9x Sky9x Sky9x approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

@the8472 the8472

Labels

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.

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

10 participants

@madhav-madhusoodanan @rustbot @rust-log-analyzer @tgross35 @the8472 @karolzwolak @scottmcm @joboet @quaternic @Sky9x