Implemented MIN and MAX constants for the non-zero integer types.#89065 #89077

mjclements · 2021-09-18T20:38:13Z

This implements the feature requested in #89065 . I wrote some tests, but it appears that non-stable features aren't supposed to be tested in the normal nonzero.rs test file. Is there a place to add tests for non-stable features?

rust-highfive · 2021-09-18T20:38:16Z

Thanks for the pull request, and welcome! The Rust team is excited to review your changes, and you should hear from @joshtriplett (or someone else) soon.

Please see the contribution instructions for more information.

LingMan · 2021-09-20T03:36:18Z

library/core/src/num/nonzero.rs

+    ( $( $MinVal:expr , $Ty: ident($Int: ty); )+ ) => {
+        $(
+            impl $Ty {
+                #[unstable(feature = "nonzero_max", issue = "89065")]


Don't see a reason to use two separate feature gates for min and max.

Agreed. 591b89d

LingMan · 2021-09-20T03:41:15Z

library/core/src/num/nonzero.rs

+                // SAFETY: Since the MAX value, for any supported integer type, is greater than 0, the MAX will always be non-zero.
+                pub const MAX : $Ty = unsafe { $Ty::new_unchecked(<$Int>::MAX) };


Suggested change

// SAFETY: Since the MAX value, for any supported integer type, is greater than 0, the MAX will always be non-zero.

pub const MAX : $Ty = unsafe { $Ty::new_unchecked(<$Int>::MAX) };

pub const MAX : $Ty = $Ty::new(<$Int>::MAX).unwrap();

Since we're in a const context this is guaranteed to get evaluated (and potentially fail if you pass in a zero after all) at compile time. No need for unsafe.

Same for the min case below. Unfortunately unwrap_or isn't const yet or we could get rid of the $MinVal input entirely.

I agree! I really wanted to get rid of that $MinVal, but couldn't find a clean way. Fixed the unsafe.
591b89d

LingMan · 2021-09-20T03:46:14Z

library/core/src/num/nonzero.rs

+                // SAFETY: In the signed case, the minimum integer is negative, and therefore non-zero.
+                // SAFETY:  In the unsignedd case, we use one, which is non-zero.
+                pub const MIN : $Ty = unsafe { $Ty::new_unchecked($MinVal)};
+                }


Indentation looks off here. Did the formatter really demand it like that?

It's a macro, it should be formatted manually.

Do you have specific advice on how to format it? I noticed that macros needed manual formatting. Wasn't sure if I had it right though @ibraheemdev .

This closing brace, and the analogous one in nonzero_constants_signed should be unindented by one level = four spaces. The rest looks fine.

ibraheemdev · 2021-09-21T00:42:51Z

library/core/src/num/nonzero.rs

+macro_rules! nonzero_min_max {
+    ( $( $MinVal:expr , $Ty: ident($Int: ty); )+ ) => {
+        $(
+            impl $Ty {
+                #[unstable(feature = "nonzero_min_max", issue = "89065")]
+                #[doc = concat!("The maximum value for a`", stringify!($Ty), "` is the same as `", stringify!($Int), "`")]
+                #[doc = concat!("assert_eq!(", stringify!($Ty), "::MAX, ", stringify!($Int), "::MAX);")]
+                pub const MAX : $Ty = $Ty::new(<$Int>::MAX).unwrap() ;
+                #[unstable(feature = "nonzero_min_max", issue = "89065")]
+                #[doc = concat!("The minimum value for a`", stringify!($Ty), "`.")]
+                /// # Examples
+                #[doc = concat!("assert_eq!(", stringify!($Ty), "::MIN, ", stringify!($MinVal), ";")]
+                pub const MIN : $Ty = $Ty::new($MinVal).unwrap();
+                }
+        )+
+    }
+}
+
+nonzero_min_max! {
+    1 , NonZeroU8(u8);
+    1 , NonZeroU16(u16);
+    1 , NonZeroU32(u32);
+    1 , NonZeroU64(u64);
+    1 , NonZeroU128(u128);
+    1 , NonZeroUsize(usize);
+    i8::MIN , NonZeroI8(i8);
+    i16::MIN , NonZeroI16(i16);
+    i32::MIN  , NonZeroI32(i32);
+    i64::MIN , NonZeroI64(i64);
+    i128::MIN  , NonZeroI128(i128);
+    isize::MIN  , NonZeroIsize(isize);
+}


Suggested change

macro_rules! nonzero_min_max {

( $( $MinVal:expr , $Ty: ident($Int: ty); )+ ) => {

$(

impl $Ty {

#[unstable(feature = "nonzero_min_max", issue = "89065")]

#[doc = concat!("The maximum value for a`", stringify!($Ty), "` is the same as `", stringify!($Int), "`")]

#[doc = concat!("assert_eq!(", stringify!($Ty), "::MAX, ", stringify!($Int), "::MAX);")]

pub const MAX : $Ty = $Ty::new(<$Int>::MAX).unwrap() ;

#[unstable(feature = "nonzero_min_max", issue = "89065")]

#[doc = concat!("The minimum value for a`", stringify!($Ty), "`.")]

/// # Examples

#[doc = concat!("assert_eq!(", stringify!($Ty), "::MIN, ", stringify!($MinVal), ";")]

pub const MIN : $Ty = $Ty::new($MinVal).unwrap();

}

)+

}

}

nonzero_min_max! {

1 , NonZeroU8(u8);

1 , NonZeroU16(u16);

1 , NonZeroU32(u32);

1 , NonZeroU64(u64);

1 , NonZeroU128(u128);

1 , NonZeroUsize(usize);

i8::MIN , NonZeroI8(i8);

i16::MIN , NonZeroI16(i16);

i32::MIN , NonZeroI32(i32);

i64::MIN , NonZeroI64(i64);

i128::MIN , NonZeroI128(i128);

isize::MIN , NonZeroIsize(isize);

}

macro_rules! nonzero_min_max {

( $( $Ty:ident($Int:ty) => $min_val:expr, $max_val:expr )+ ) => {

$(

impl $Ty {

#[unstable(feature = "nonzero_min_max", issue = "89065")]

#[doc = concat!("The maximum value for a`", stringify!($Ty), "` is the same as `", stringify!($Int), "`")]

#[doc = concat!("assert_eq!(", stringify!($Ty), "::MAX, ", stringify!($Int), "::MAX);")]

pub const MAX : $Ty = $Ty::new($max_val).unwrap() ;

#[unstable(feature = "nonzero_min_max", issue = "89065")]

#[doc = concat!("The minimum value for a`", stringify!($Ty), "`.")]

/// # Examples

#[doc = concat!("assert_eq!(", stringify!($Ty), "::MIN, ", stringify!($MinVal), ";")]

pub const MIN: $Ty = $Ty::new($min_val).unwrap();

}

)+

}

}

nonzero_min_max! {

NonZeroU8 => 1, u8::MAX;

NonZeroU16 => 1, u16::MAX;

NonZeroU32 => 1, u32::MAX;

NonZeroU64 => 1, u64::MAX;

NonZeroU128 => 1, u128::MAX;

NonZeroUsize => 1, usize::MAX;

NonZeroI8 => i8::MIN, i8::MAX;

NonZeroI16 => i16::MIN, i16::MAX;

NonZeroI32 => i32::MIN, i32::MAX;

NonZeroI64 => i64::MIN, i64::MAX;

NonZeroI128 => i128::MIN, i128::MAX;

NonZeroIsize => isize::MIN, isize::MAX;

}

Formatting is up to you, but I'd probably do something like this.

LingMan · 2021-09-21T09:48:54Z

Mirroring part of a comment from @kpreid so it doesn't get forgotten about:

NonZeroI*::{MIN,MAX} are a little weird, because in all other integer cases, all integers between MIN and MAX exist, but in the case of nonzero signed integers, there's also a hole in the middle. This seems an oddity worth thinking about and possibly documenting.

I agree that this hole should be called out explicitly in the documentation.

mjclements · 2021-09-24T13:16:30Z

Mirroring part of a comment from @kpreid so it doesn't get forgotten about:

NonZeroI*::{MIN,MAX} are a little weird, because in all other integer cases, all integers between MIN and MAX exist, but in the case of nonzero signed integers, there's also a hole in the middle. This seems an oddity worth thinking about and possibly documenting.

I agree that this hole should be called out explicitly in the documentation.

I think this is resolved.

kpreid

I agree that the zero case has been mentioned adequately, but since I looked, here's some minor suggestions (all to do with the documentation or formatting).

kpreid · 2021-09-24T13:59:47Z

library/core/src/num/nonzero.rs

+                #[unstable(feature = "nonzero_min_max", issue = "89065")]
+                #[doc = concat!("The maximum value for a`", stringify!($Ty), "` is the same as `", stringify!($Int), "`")]
+                /// # Examples
+                #[doc = concat!("assert_eq!(", stringify!($Ty), "::MAX, ", stringify!($Int), "::MAX);")]


I think this and the below example need a ``` ... ``` code block, for formatting (though they're not very interesting as doctests).

I think including some blank lines as done above for nonzero_unsigned_signed_operations (such as ``` above and below the Examples header, and a normal blank line between the MAX and MIN definitions) but before would also make the macro code more readable even if it doesn't affect the documentation output.

kpreid · 2021-09-24T14:02:50Z

library/core/src/num/nonzero.rs

+        $(
+            impl $Ty {
+                #[unstable(feature = "nonzero_min_max", issue = "89065")]
+                #[doc = concat!("The maximum value for a`", stringify!($Ty), "` is the same as `", stringify!($Int), "`")]


In for a`", there should be a space between a and `, and the sentence needs a period at the end.

kpreid · 2021-09-24T14:04:22Z

library/core/src/num/nonzero.rs

+                // SAFETY: In the signed case, the minimum integer is negative, and therefore non-zero.
+                // SAFETY:  In the unsignedd case, we use one, which is non-zero.
+                pub const MIN : $Ty = unsafe { $Ty::new_unchecked($MinVal)};
+                }


This closing brace, and the analogous one in nonzero_constants_signed should be unindented by one level = four spaces. The rest looks fine.

kpreid · 2021-09-24T14:06:02Z

library/core/src/num/nonzero.rs

+                #[unstable(feature = "nonzero_min_max", issue = "89065")]
+                #[doc = concat!("The maximum value for a`", stringify!($Ty), "` is the same as `", stringify!($Int), "`")]
+                #[doc = concat!("assert_eq!(", stringify!($Ty), "::MAX, ", stringify!($Int), "::MAX);")]
+                /// Note, while most integer types are defined for every whole number between MIN and


I think this should be either Note that, while or Note: while rather than Note, while, but I'm not sure whether others would agree with that grammar nitpick.

Yeah, I'd vote for Note: While with a capital W.

library/core/src/num/nonzero.rs

Co-authored-by: LingMan <[email protected]>

rust-log-analyzer · 2021-09-25T17:02:01Z

The job x86_64-gnu-llvm-10 failed! Check out the build log: (web) (plain)

Click to see the possible cause of the failure (guessed by this bot)

.................................................................................................... 1500/3539
.................................................................................................... 1600/3539
.................................................................................................... 1700/3539
.................................................................................................... 1800/3539
................................................F.F..........F...F...........F..F.............FF.... 1900/3539
.........F...F...........FF..............FF..............FF.............FF..............FF.......... 2000/3539
..FF.............F.F................................................................................ 2100/3539
.................................................................................................... 2300/3539
.................................................................................................... 2400/3539
.................................................................................................... 2500/3539
.................................................................................................... 2600/3539
---
---- src/num/nonzero.rs - num::nonzero::NonZeroI128::MAX (line 927) stdout ----
error[E0433]: failed to resolve: use of undeclared type `NonZeroI128`
 --> src/num/nonzero.rs:928:12
  |
4 | assert_eq!(NonZeroI128::MAX, i128::MAX);
  |            ^^^^^^^^^^^ use of undeclared type `NonZeroI128`
error: aborting due to previous error

For more information about this error, try `rustc --explain E0433`.
Couldn't compile the test.
Couldn't compile the test.
---- src/num/nonzero.rs - num::nonzero::NonZeroI128::MIN (line 927) stdout ----
error[E0433]: failed to resolve: use of undeclared type `NonZeroI128`
 --> src/num/nonzero.rs:928:12
  |
4 | assert_eq!(NonZeroI128::MIN, i128::MIN);
  |            ^^^^^^^^^^^ use of undeclared type `NonZeroI128`
error: aborting due to previous error

For more information about this error, try `rustc --explain E0433`.
Couldn't compile the test.
Couldn't compile the test.
---- src/num/nonzero.rs - num::nonzero::NonZeroI16::MAX (line 927) stdout ----
error[E0433]: failed to resolve: use of undeclared type `NonZeroI16`
 --> src/num/nonzero.rs:928:12
  |
4 | assert_eq!(NonZeroI16::MAX, i16::MAX);
  |            ^^^^^^^^^^ use of undeclared type `NonZeroI16`
error: aborting due to previous error

For more information about this error, try `rustc --explain E0433`.
Couldn't compile the test.
Couldn't compile the test.
---- src/num/nonzero.rs - num::nonzero::NonZeroI16::MIN (line 927) stdout ----
error[E0433]: failed to resolve: use of undeclared type `NonZeroI16`
 --> src/num/nonzero.rs:928:12
  |
4 | assert_eq!(NonZeroI16::MIN, i16::MIN);
  |            ^^^^^^^^^^ use of undeclared type `NonZeroI16`
error: aborting due to previous error

For more information about this error, try `rustc --explain E0433`.
Couldn't compile the test.
Couldn't compile the test.
---- src/num/nonzero.rs - num::nonzero::NonZeroI32::MAX (line 927) stdout ----
error[E0433]: failed to resolve: use of undeclared type `NonZeroI32`
 --> src/num/nonzero.rs:928:12
  |
4 | assert_eq!(NonZeroI32::MAX, i32::MAX);
  |            ^^^^^^^^^^ use of undeclared type `NonZeroI32`
error: aborting due to previous error

For more information about this error, try `rustc --explain E0433`.
Couldn't compile the test.
Couldn't compile the test.
---- src/num/nonzero.rs - num::nonzero::NonZeroI32::MIN (line 927) stdout ----
error[E0433]: failed to resolve: use of undeclared type `NonZeroI32`
 --> src/num/nonzero.rs:928:12
  |
4 | assert_eq!(NonZeroI32::MIN, i32::MIN);
  |            ^^^^^^^^^^ use of undeclared type `NonZeroI32`
error: aborting due to previous error

For more information about this error, try `rustc --explain E0433`.
Couldn't compile the test.
Couldn't compile the test.
---- src/num/nonzero.rs - num::nonzero::NonZeroI64::MIN (line 927) stdout ----
error[E0433]: failed to resolve: use of undeclared type `NonZeroI64`
 --> src/num/nonzero.rs:928:12
  |
4 | assert_eq!(NonZeroI64::MIN, i64::MIN);
  |            ^^^^^^^^^^ use of undeclared type `NonZeroI64`
error: aborting due to previous error

For more information about this error, try `rustc --explain E0433`.
Couldn't compile the test.
Couldn't compile the test.
---- src/num/nonzero.rs - num::nonzero::NonZeroI64::MAX (line 927) stdout ----
error[E0433]: failed to resolve: use of undeclared type `NonZeroI64`
 --> src/num/nonzero.rs:928:12
  |
4 | assert_eq!(NonZeroI64::MAX, i64::MAX);
  |            ^^^^^^^^^^ use of undeclared type `NonZeroI64`
error: aborting due to previous error

For more information about this error, try `rustc --explain E0433`.
Couldn't compile the test.
Couldn't compile the test.
---- src/num/nonzero.rs - num::nonzero::NonZeroI8::MAX (line 927) stdout ----
error[E0433]: failed to resolve: use of undeclared type `NonZeroI8`
 --> src/num/nonzero.rs:928:12
  |
4 | assert_eq!(NonZeroI8::MAX, i8::MAX);
  |            ^^^^^^^^^ use of undeclared type `NonZeroI8`
error: aborting due to previous error

For more information about this error, try `rustc --explain E0433`.
Couldn't compile the test.
Couldn't compile the test.
---- src/num/nonzero.rs - num::nonzero::NonZeroI8::MIN (line 927) stdout ----
error[E0433]: failed to resolve: use of undeclared type `NonZeroI8`
 --> src/num/nonzero.rs:928:12
  |
4 | assert_eq!(NonZeroI8::MIN, i8::MIN);
  |            ^^^^^^^^^ use of undeclared type `NonZeroI8`
error: aborting due to previous error

For more information about this error, try `rustc --explain E0433`.
Couldn't compile the test.
Couldn't compile the test.
---- src/num/nonzero.rs - num::nonzero::NonZeroIsize::MIN (line 927) stdout ----
error[E0433]: failed to resolve: use of undeclared type `NonZeroIsize`
 --> src/num/nonzero.rs:928:12
  |
4 | assert_eq!(NonZeroIsize::MIN, isize::MIN);
  |            ^^^^^^^^^^^^ use of undeclared type `NonZeroIsize`
error: aborting due to previous error

For more information about this error, try `rustc --explain E0433`.
Couldn't compile the test.
Couldn't compile the test.
---- src/num/nonzero.rs - num::nonzero::NonZeroIsize::MAX (line 927) stdout ----
error[E0433]: failed to resolve: use of undeclared type `NonZeroIsize`
 --> src/num/nonzero.rs:928:12
  |
4 | assert_eq!(NonZeroIsize::MAX, isize::MAX);
  |            ^^^^^^^^^^^^ use of undeclared type `NonZeroIsize`
error: aborting due to previous error

For more information about this error, try `rustc --explain E0433`.
Couldn't compile the test.
Couldn't compile the test.
---- src/num/nonzero.rs - num::nonzero::NonZeroU128::MAX (line 967) stdout ----
error[E0433]: failed to resolve: use of undeclared type `NonZeroU128`
 --> src/num/nonzero.rs:968:12
  |
4 | assert_eq!(NonZeroU128::MAX, u128::MAX);
  |            ^^^^^^^^^^^ use of undeclared type `NonZeroU128`
error: aborting due to previous error

For more information about this error, try `rustc --explain E0433`.
Couldn't compile the test.
Couldn't compile the test.
---- src/num/nonzero.rs - num::nonzero::NonZeroU128::MIN (line 967) stdout ----
error[E0433]: failed to resolve: use of undeclared type `NonZeroU128`
 --> src/num/nonzero.rs:968:12
  |
4 | assert_eq!(NonZeroU128::MIN, u128::MIN);
  |            ^^^^^^^^^^^ use of undeclared type `NonZeroU128`
error: aborting due to previous error

For more information about this error, try `rustc --explain E0433`.
Couldn't compile the test.
Couldn't compile the test.
---- src/num/nonzero.rs - num::nonzero::NonZeroU16::MIN (line 967) stdout ----
error[E0433]: failed to resolve: use of undeclared type `NonZeroU16`
 --> src/num/nonzero.rs:968:12
  |
4 | assert_eq!(NonZeroU16::MIN, u16::MIN);
  |            ^^^^^^^^^^ use of undeclared type `NonZeroU16`
error: aborting due to previous error

For more information about this error, try `rustc --explain E0433`.
Couldn't compile the test.
Couldn't compile the test.
---- src/num/nonzero.rs - num::nonzero::NonZeroU16::MAX (line 967) stdout ----
error[E0433]: failed to resolve: use of undeclared type `NonZeroU16`
 --> src/num/nonzero.rs:968:12
  |
4 | assert_eq!(NonZeroU16::MAX, u16::MAX);
  |            ^^^^^^^^^^ use of undeclared type `NonZeroU16`
error: aborting due to previous error

For more information about this error, try `rustc --explain E0433`.
Couldn't compile the test.
Couldn't compile the test.
---- src/num/nonzero.rs - num::nonzero::NonZeroU32::MAX (line 967) stdout ----
error[E0433]: failed to resolve: use of undeclared type `NonZeroU32`
 --> src/num/nonzero.rs:968:12
  |
4 | assert_eq!(NonZeroU32::MAX, u32::MAX);
  |            ^^^^^^^^^^ use of undeclared type `NonZeroU32`
error: aborting due to previous error

For more information about this error, try `rustc --explain E0433`.
Couldn't compile the test.
Couldn't compile the test.
---- src/num/nonzero.rs - num::nonzero::NonZeroU32::MIN (line 967) stdout ----
error[E0433]: failed to resolve: use of undeclared type `NonZeroU32`
 --> src/num/nonzero.rs:968:12
  |
4 | assert_eq!(NonZeroU32::MIN, u32::MIN);
  |            ^^^^^^^^^^ use of undeclared type `NonZeroU32`
error: aborting due to previous error

For more information about this error, try `rustc --explain E0433`.
Couldn't compile the test.
Couldn't compile the test.
---- src/num/nonzero.rs - num::nonzero::NonZeroU64::MAX (line 967) stdout ----
error[E0433]: failed to resolve: use of undeclared type `NonZeroU64`
 --> src/num/nonzero.rs:968:12
  |
4 | assert_eq!(NonZeroU64::MAX, u64::MAX);
  |            ^^^^^^^^^^ use of undeclared type `NonZeroU64`
error: aborting due to previous error

For more information about this error, try `rustc --explain E0433`.
Couldn't compile the test.
Couldn't compile the test.
---- src/num/nonzero.rs - num::nonzero::NonZeroU64::MIN (line 967) stdout ----
error[E0433]: failed to resolve: use of undeclared type `NonZeroU64`
 --> src/num/nonzero.rs:968:12
  |
4 | assert_eq!(NonZeroU64::MIN, u64::MIN);
  |            ^^^^^^^^^^ use of undeclared type `NonZeroU64`
error: aborting due to previous error

For more information about this error, try `rustc --explain E0433`.
Couldn't compile the test.
Couldn't compile the test.
---- src/num/nonzero.rs - num::nonzero::NonZeroU8::MAX (line 967) stdout ----
error[E0433]: failed to resolve: use of undeclared type `NonZeroU8`
 --> src/num/nonzero.rs:968:12
  |
4 | assert_eq!(NonZeroU8::MAX, u8::MAX);
  |            ^^^^^^^^^ use of undeclared type `NonZeroU8`
error: aborting due to previous error

For more information about this error, try `rustc --explain E0433`.
Couldn't compile the test.
Couldn't compile the test.
---- src/num/nonzero.rs - num::nonzero::NonZeroU8::MIN (line 967) stdout ----
error[E0433]: failed to resolve: use of undeclared type `NonZeroU8`
 --> src/num/nonzero.rs:968:12
  |
4 | assert_eq!(NonZeroU8::MIN, u8::MIN);
  |            ^^^^^^^^^ use of undeclared type `NonZeroU8`
error: aborting due to previous error

For more information about this error, try `rustc --explain E0433`.
Couldn't compile the test.
Couldn't compile the test.
---- src/num/nonzero.rs - num::nonzero::NonZeroUsize::MAX (line 967) stdout ----
error[E0433]: failed to resolve: use of undeclared type `NonZeroUsize`
 --> src/num/nonzero.rs:968:12
  |
4 | assert_eq!(NonZeroUsize::MAX, usize::MAX);
  |            ^^^^^^^^^^^^ use of undeclared type `NonZeroUsize`
error: aborting due to previous error

For more information about this error, try `rustc --explain E0433`.
Couldn't compile the test.
Couldn't compile the test.
---- src/num/nonzero.rs - num::nonzero::NonZeroUsize::MIN (line 967) stdout ----
error[E0433]: failed to resolve: use of undeclared type `NonZeroUsize`
 --> src/num/nonzero.rs:968:12
  |
4 | assert_eq!(NonZeroUsize::MIN, usize::MIN);
  |            ^^^^^^^^^^^^ use of undeclared type `NonZeroUsize`
error: aborting due to previous error

For more information about this error, try `rustc --explain E0433`.
Couldn't compile the test.
---

error: test failed, to rerun pass '--doc'


command did not execute successfully: "/checkout/obj/build/x86_64-unknown-linux-gnu/stage0/bin/cargo" "test" "--target" "x86_64-unknown-linux-gnu" "-Zbinary-dep-depinfo" "-j" "16" "--release" "--locked" "--color" "always" "--features" "panic-unwind backtrace compiler-builtins-c" "--manifest-path" "/checkout/library/test/Cargo.toml" "-p" "core" "--" "--quiet"


Build completed unsuccessfully in 0:18:22

joshtriplett · 2021-10-04T03:07:40Z

library/core/src/num/nonzero.rs

+}
+
+nonzero_constants_unsigned! {
+   NonZeroU8(u8);


Indentation mismatch here.

joshtriplett · 2021-10-04T03:08:31Z

It looks like this is failing because it needs to reference these types with a path.

JohnCSimon · 2021-12-05T01:35:16Z

Ping from triage:
@mjclements Can you please address the build failures?

JohnCSimon · 2022-01-30T04:26:31Z

Ping from triage:
@mjclements
I'm closing this due to inactivity, Please reopen when you are ready to continue with this. Thank you.

@rustbot label: +S-inactive

Implement `MIN`/`MAX` constants for non-zero integers This adds the associated [`MIN`](https://doc.rust-lang.org/stable/std/primitive.usize.html#associatedconstant.MIN)/[`MAX`](https://doc.rust-lang.org/stable/std/primitive.usize.html#associatedconstant.MAX) constants to `NonZero{U,I}{8,16,32,64,128,size}`, requested in rust-lang#89065. This reimplements rust-lang#89077 due that PR being stagnant for 4 months. I am fine with closing this in favor of that one if the author revisits it. If so, I'd like to see that PR have the docs link to the `$Int`'s constants.

mjclements added 6 commits September 18, 2021 14:21

Max working.

0156ef1

nonzero min and nonzero max working.

b5c1fe1

Fixed some formatting issues.

84d88f2

Made a macro name consistent.

b274022

Fixed variable name _properly_

0f84d19

Fixed build errors.

279f0bf

rust-highfive assigned joshtriplett Sep 18, 2021

rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Sep 18, 2021

mjclements changed the title ~~Implemented MIN and MAX constants for the non-zero integer types. #89076~~ Implemented MIN and MAX constants for the non-zero integer types.#89065 Sep 19, 2021

LingMan reviewed Sep 20, 2021

View reviewed changes

mjclements added 2 commits September 20, 2021 19:42

Addressing PR Comment.

591b89d

Removed {unsafe} since we are in constant context.

56ce3a2

ibraheemdev reviewed Sep 21, 2021

View reviewed changes

Split macro, added documentation.

3cbfdec

This comment has been minimized.

Sign in to view

Trailing ws.

7a718e1

This comment has been minimized.

Sign in to view

Tidy cleanup comment, trailing WS

87d92f9

kpreid suggested changes Sep 24, 2021

View reviewed changes

LingMan reviewed Sep 24, 2021

View reviewed changes

library/core/src/num/nonzero.rs Outdated Show resolved Hide resolved

mjclements and others added 2 commits September 24, 2021 12:20

Update library/core/src/num/nonzero.rs

2fecb01

Co-authored-by: LingMan <[email protected]>

Cleaned up some documentation.

5b48c54

This comment has been minimized.

Sign in to view

Fixes missing parenthesis in doc test.

5ac53ef

joshtriplett reviewed Oct 4, 2021

View reviewed changes

library/core/src/num/nonzero.rs

}

nonzero_constants_unsigned! {

NonZeroU8(u8);

Copy link

Member

joshtriplett Oct 4, 2021

Choose a reason for hiding this comment

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

Indentation mismatch here.

joshtriplett added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Oct 4, 2021

apiraino added the T-libs Relevant to the library team, which will review and decide on the PR/issue. label Oct 14, 2021

camelid added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. and removed S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. labels Nov 5, 2021

nvzqz mentioned this pull request Jan 25, 2022

Implement MIN/MAX constants for non-zero integers #93293

Merged

JohnCSimon closed this Jan 30, 2022

rustbot added the S-inactive Status: Inactive and waiting on the author. This is often applied to closed PRs. label Jan 30, 2022

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Implemented MIN and MAX constants for the non-zero integer types.#89065 #89077

Implemented MIN and MAX constants for the non-zero integer types.#89065 #89077

mjclements commented Sep 18, 2021 •

edited

Loading

rust-highfive commented Sep 18, 2021

LingMan Sep 20, 2021

mjclements Sep 20, 2021

LingMan Sep 20, 2021

mjclements Sep 21, 2021

LingMan Sep 20, 2021

ibraheemdev Sep 20, 2021

mjclements Sep 20, 2021

kpreid Sep 24, 2021

ibraheemdev Sep 21, 2021 •

edited

Loading

ibraheemdev Sep 21, 2021

LingMan commented Sep 21, 2021

This comment has been minimized.

This comment has been minimized.

mjclements commented Sep 24, 2021

kpreid left a comment

kpreid Sep 24, 2021

kpreid Sep 24, 2021

kpreid Sep 24, 2021

kpreid Sep 24, 2021

LingMan Sep 24, 2021

This comment has been minimized.

rust-log-analyzer commented Sep 25, 2021

joshtriplett Oct 4, 2021

joshtriplett commented Oct 4, 2021

JohnCSimon commented Dec 5, 2021

JohnCSimon commented Jan 30, 2022

		// SAFETY: Since the MAX value, for any supported integer type, is greater than 0, the MAX will always be non-zero.
		pub const MAX : $Ty = unsafe { $Ty::new_unchecked(<$Int>::MAX) };

	// SAFETY: Since the MAX value, for any supported integer type, is greater than 0, the MAX will always be non-zero.
	pub const MAX : $Ty = unsafe { $Ty::new_unchecked(<$Int>::MAX) };
	pub const MAX : $Ty = $Ty::new(<$Int>::MAX).unwrap();

Implemented MIN and MAX constants for the non-zero integer types.#89065 #89077

Implemented MIN and MAX constants for the non-zero integer types.#89065 #89077

Conversation

mjclements commented Sep 18, 2021 • edited Loading

rust-highfive commented Sep 18, 2021

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

ibraheemdev Sep 21, 2021 • edited Loading

Choose a reason for hiding this comment

Choose a reason for hiding this comment

LingMan commented Sep 21, 2021

This comment has been minimized.

This comment has been minimized.

mjclements commented Sep 24, 2021

kpreid left a comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

This comment has been minimized.

rust-log-analyzer commented Sep 25, 2021

Choose a reason for hiding this comment

joshtriplett commented Oct 4, 2021

JohnCSimon commented Dec 5, 2021

JohnCSimon commented Jan 30, 2022

mjclements commented Sep 18, 2021 •

edited

Loading

ibraheemdev Sep 21, 2021 •

edited

Loading