Issue #66099 - Added the upper and lower bounds to the documentation of all integer types.

src/libcore/internal_macros.rs

@@ -117,3 +117,11 @@ macro_rules! impl_fn_for_zst {
         )+
     }
 }
+
+/// Create a dynamic doc comment.
+macro_rules! doc_comment {
+    ($x:expr, $($tt:tt)*) => {
+        #[doc = $x]
+        $($tt)*
+    };
+}

src/libcore/num/i128.rs

@@ -4,4 +4,9 @@
 
 #![stable(feature = "i128", since = "1.26.0")]
 
-int_module! { i128, #[stable(feature = "i128", since="1.26.0")] }
+int_module! {
+    i128,
+    -170141183460469231731687303715884105728,
+    170141183460469231731687303715884105727,
+    #[stable(feature = "i128", since="1.26.0")]
+}

src/libcore/num/i16.rs

@@ -4,4 +4,4 @@
 
 #![stable(feature = "rust1", since = "1.0.0")]
 
-int_module! { i16 }
+int_module! { i16, -32768, 32767 }

src/libcore/num/i32.rs

@@ -4,4 +4,4 @@
 
 #![stable(feature = "rust1", since = "1.0.0")]
 
-int_module! { i32 }
+int_module! { i32, -2147483648, 2147483647 }

src/libcore/num/i64.rs

@@ -4,4 +4,4 @@
 
 #![stable(feature = "rust1", since = "1.0.0")]
 
-int_module! { i64 }
+int_module! { i64, -9223372036854775808, 9223372036854775807 }

src/libcore/num/i8.rs

@@ -4,4 +4,4 @@
 
 #![stable(feature = "rust1", since = "1.0.0")]
 
-int_module! { i8 }
+int_module! { i8, -128, 127 }

src/libcore/num/int_macros.rs

@@ -1,13 +1,33 @@
 #![doc(hidden)]
 
 macro_rules! int_module {
-    ($T:ident) => (int_module!($T, #[stable(feature = "rust1", since = "1.0.0")]););
-    ($T:ident, #[$attr:meta]) => (
-        /// The smallest value that can be represented by this integer type.
-        #[$attr]
-        pub const MIN: $T = $T::min_value();
-        /// The largest value that can be represented by this integer type.
-        #[$attr]
-        pub const MAX: $T = $T::max_value();
+    ($T:ident, $Min:expr, $Max:expr) => (
+        int_module!(
+            $T,
+            $Min,
+            $Max,
+            #[stable(feature = "rust1", since = "1.0.0")]
+        );
+    );
+    ($T:ident, $Min:expr, $Max:expr, #[$attr:meta]) => (
+        doc_comment! {
+            concat!(
+                "The smallest value that can be represented by this integer type, which is ",
+                stringify!($Min),
+                "."
+            ),
+            #[$attr]
+            pub const MIN: $T = $T::min_value();
+        }
+
+        doc_comment! {
+            concat!(
+                "The largest value that can be represented by this integer type, which is ",
+                stringify!($Max),
+                "."
+            ),
+            #[$attr]
+            pub const MAX: $T = $T::max_value();
+        }
     )
 }

src/libcore/num/isize.rs

@@ -4,4 +4,11 @@
 
 #![stable(feature = "rust1", since = "1.0.0")]
 
-int_module! { isize }
+#[cfg(target_pointer_width = "16")]
+int_module! { isize, -32768, 32767 }
+
+#[cfg(target_pointer_width = "32")]
+int_module! { isize, -2147483648, 2147483647 }
+
+#[cfg(target_pointer_width = "64")]
+int_module! { isize, -9223372036854775808, 9223372036854775807 }

src/libcore/num/u128.rs

@@ -3,4 +3,8 @@
 //! *[See also the `u128` primitive type](../../std/primitive.u128.html).*
 
 #![stable(feature = "i128", since = "1.26.0")]
-uint_module! { u128, #[stable(feature = "i128", since="1.26.0")] }
+uint_module! {
+    u128,
+    340282366920938463463374607431768211455,
+    #[stable(feature = "i128", since="1.26.0")]
+}

src/libcore/num/u16.rs

@@ -4,4 +4,4 @@
 
 #![stable(feature = "rust1", since = "1.0.0")]
 
-uint_module! { u16 }
+uint_module! { u16, 65535 }

src/libcore/num/u32.rs

@@ -4,4 +4,4 @@
 
 #![stable(feature = "rust1", since = "1.0.0")]
 
-uint_module! { u32 }
+uint_module! { u32, 4294967295 }

src/libcore/num/u64.rs

@@ -4,4 +4,4 @@
 
 #![stable(feature = "rust1", since = "1.0.0")]
 
-uint_module! { u64 }
+uint_module! { u64, 18446744073709551615 }

src/libcore/num/u8.rs

@@ -4,4 +4,4 @@
 
 #![stable(feature = "rust1", since = "1.0.0")]
 
-uint_module! { u8 }
+uint_module! { u8, 255 }

src/libcore/num/uint_macros.rs

@@ -1,13 +1,27 @@
 #![doc(hidden)]
 
 macro_rules! uint_module {
-    ($T:ident) => (uint_module!($T, #[stable(feature = "rust1", since = "1.0.0")]););
-    ($T:ident, #[$attr:meta]) => (
-        /// The smallest value that can be represented by this integer type.
-        #[$attr]
-        pub const MIN: $T = $T::min_value();
-        /// The largest value that can be represented by this integer type.
-        #[$attr]
-        pub const MAX: $T = $T::max_value();
+    ($T:ident, $Max:expr) => (
+        uint_module!(
+            $T,
+            $Max,
+            #[stable(feature = "rust1", since = "1.0.0")]
+        );
+    );
+    ($T:ident, $Max:expr, #[$attr:meta]) => (
+        doc_comment! {
+            "The smallest value that can be represented by this integer type, which is 0.",
+            #[$attr]
+            pub const MIN: $T = $T::min_value();
+        }
+        doc_comment! {
+            concat!(
+                "The largest value that can be represented by this integer type, which is ",
+                stringify!($Max),
+                "."
+            ),
+            #[$attr]
+            pub const MAX: $T = $T::max_value();
+        }
     )
 }

src/libcore/num/usize.rs

@@ -4,4 +4,12 @@
 
 #![stable(feature = "rust1", since = "1.0.0")]
 
-uint_module! { usize }
+
+#[cfg(target_pointer_width = "16")]
+uint_module! { usize, 65535 }
+
+#[cfg(target_pointer_width = "32")]
+uint_module! { usize, 4294967295 }
+
+#[cfg(target_pointer_width = "64")]
+uint_module! { usize, 18446744073709551615 }