Skip to main content

core/num/
mod.rs

1//! Numeric traits and functions for the built-in numeric types.
2
3#![stable(feature = "rust1", since = "1.0.0")]
4
5use crate::panic::const_panic;
6use crate::str::FromStr;
7use crate::ub_checks::assert_unsafe_precondition;
8use crate::{ascii, intrinsics, mem};
9
10// FIXME(const-hack): Used because the `?` operator is not allowed in a const context.
11macro_rules! try_opt {
12    ($e:expr) => {
13        match $e {
14            Some(x) => x,
15            None => return None,
16        }
17    };
18}
19
20// Use this when the generated code should differ between signed and unsigned types.
21macro_rules! sign_dependent_expr {
22    (signed ? if signed { $signed_case:expr } if unsigned { $unsigned_case:expr } ) => {
23        $signed_case
24    };
25    (unsigned ? if signed { $signed_case:expr } if unsigned { $unsigned_case:expr } ) => {
26        $unsigned_case
27    };
28}
29
30// These modules are public only for testing.
31#[doc(hidden)]
32#[unstable(
33    feature = "num_internals",
34    reason = "internal routines only exposed for testing",
35    issue = "none"
36)]
37pub mod imp;
38
39#[macro_use]
40mod int_macros; // import int_impl!
41#[macro_use]
42mod uint_macros; // import uint_impl!
43
44mod error;
45#[cfg(not(no_fp_fmt_parse))]
46mod float_parse;
47mod nonzero;
48mod saturating;
49mod traits;
50mod wrapping;
51
52/// 100% perma-unstable
53#[doc(hidden)]
54pub mod niche_types;
55
56#[stable(feature = "int_error_matching", since = "1.55.0")]
57pub use error::IntErrorKind;
58#[stable(feature = "rust1", since = "1.0.0")]
59pub use error::ParseIntError;
60#[stable(feature = "try_from", since = "1.34.0")]
61pub use error::TryFromIntError;
62#[stable(feature = "rust1", since = "1.0.0")]
63#[cfg(not(no_fp_fmt_parse))]
64pub use float_parse::ParseFloatError;
65#[stable(feature = "generic_nonzero", since = "1.79.0")]
66pub use nonzero::NonZero;
67#[unstable(
68    feature = "nonzero_internals",
69    reason = "implementation detail which may disappear or be replaced at any time",
70    issue = "none"
71)]
72pub use nonzero::ZeroablePrimitive;
73#[stable(feature = "signed_nonzero", since = "1.34.0")]
74pub use nonzero::{NonZeroI8, NonZeroI16, NonZeroI32, NonZeroI64, NonZeroI128, NonZeroIsize};
75#[stable(feature = "nonzero", since = "1.28.0")]
76pub use nonzero::{NonZeroU8, NonZeroU16, NonZeroU32, NonZeroU64, NonZeroU128, NonZeroUsize};
77#[stable(feature = "saturating_int_impl", since = "1.74.0")]
78pub use saturating::Saturating;
79#[stable(feature = "rust1", since = "1.0.0")]
80pub use wrapping::Wrapping;
81
82macro_rules! u8_xe_bytes_doc {
83    () => {
84        "
85
86**Note**: This function is meaningless on `u8`. Byte order does not exist as a
87concept for byte-sized integers. This function is only provided in symmetry
88with larger integer types.
89
90"
91    };
92}
93
94macro_rules! i8_xe_bytes_doc {
95    () => {
96        "
97
98**Note**: This function is meaningless on `i8`. Byte order does not exist as a
99concept for byte-sized integers. This function is only provided in symmetry
100with larger integer types. You can cast from and to `u8` using
101[`cast_signed`](u8::cast_signed) and [`cast_unsigned`](Self::cast_unsigned).
102
103"
104    };
105}
106
107macro_rules! usize_isize_to_xe_bytes_doc {
108    () => {
109        "
110
111**Note**: This function returns an array of length 2, 4 or 8 bytes
112depending on the target pointer size.
113
114"
115    };
116}
117
118macro_rules! usize_isize_from_xe_bytes_doc {
119    () => {
120        "
121
122**Note**: This function takes an array of length 2, 4 or 8 bytes
123depending on the target pointer size.
124
125"
126    };
127}
128
129macro_rules! midpoint_impl {
130    ($SelfT:ty, unsigned) => {
131        /// Calculates the midpoint (average) between `self` and `rhs`.
132        ///
133        /// `midpoint(a, b)` is `(a + b) / 2` as if it were performed in a
134        /// sufficiently-large unsigned integral type. This implies that the result is
135        /// always rounded towards zero and that no overflow will ever occur.
136        ///
137        /// # Examples
138        ///
139        /// ```
140        #[doc = concat!("assert_eq!(0", stringify!($SelfT), ".midpoint(4), 2);")]
141        #[doc = concat!("assert_eq!(1", stringify!($SelfT), ".midpoint(4), 2);")]
142        /// ```
143        #[stable(feature = "num_midpoint", since = "1.85.0")]
144        #[rustc_const_stable(feature = "num_midpoint", since = "1.85.0")]
145        #[must_use = "this returns the result of the operation, \
146                      without modifying the original"]
147        #[doc(alias = "average_floor")]
148        #[doc(alias = "average")]
149        #[inline]
150        pub const fn midpoint(self, rhs: $SelfT) -> $SelfT {
151            // Use the well known branchless algorithm from Hacker's Delight to compute
152            // `(a + b) / 2` without overflowing: `((a ^ b) >> 1) + (a & b)`.
153            ((self ^ rhs) >> 1) + (self & rhs)
154        }
155    };
156    ($SelfT:ty, signed) => {
157        /// Calculates the midpoint (average) between `self` and `rhs`.
158        ///
159        /// `midpoint(a, b)` is `(a + b) / 2` as if it were performed in a
160        /// sufficiently-large signed integral type. This implies that the result is
161        /// always rounded towards zero and that no overflow will ever occur.
162        ///
163        /// # Examples
164        ///
165        /// ```
166        #[doc = concat!("assert_eq!(0", stringify!($SelfT), ".midpoint(4), 2);")]
167        #[doc = concat!("assert_eq!((-1", stringify!($SelfT), ").midpoint(2), 0);")]
168        #[doc = concat!("assert_eq!((-7", stringify!($SelfT), ").midpoint(0), -3);")]
169        #[doc = concat!("assert_eq!(0", stringify!($SelfT), ".midpoint(-7), -3);")]
170        #[doc = concat!("assert_eq!(0", stringify!($SelfT), ".midpoint(7), 3);")]
171        /// ```
172        #[stable(feature = "num_midpoint_signed", since = "1.87.0")]
173        #[rustc_const_stable(feature = "num_midpoint_signed", since = "1.87.0")]
174        #[must_use = "this returns the result of the operation, \
175                      without modifying the original"]
176        #[doc(alias = "average_floor")]
177        #[doc(alias = "average_ceil")]
178        #[doc(alias = "average")]
179        #[inline]
180        pub const fn midpoint(self, rhs: Self) -> Self {
181            // Use the well known branchless algorithm from Hacker's Delight to compute
182            // `(a + b) / 2` without overflowing: `((a ^ b) >> 1) + (a & b)`.
183            let t = ((self ^ rhs) >> 1) + (self & rhs);
184            // Except that it fails for integers whose sum is an odd negative number as
185            // their floor is one less than their average. So we adjust the result.
186            t + (if t < 0 { 1 } else { 0 } & (self ^ rhs))
187        }
188    };
189    ($SelfT:ty, $WideT:ty, unsigned) => {
190        /// Calculates the midpoint (average) between `self` and `rhs`.
191        ///
192        /// `midpoint(a, b)` is `(a + b) / 2` as if it were performed in a
193        /// sufficiently-large unsigned integral type. This implies that the result is
194        /// always rounded towards zero and that no overflow will ever occur.
195        ///
196        /// # Examples
197        ///
198        /// ```
199        #[doc = concat!("assert_eq!(0", stringify!($SelfT), ".midpoint(4), 2);")]
200        #[doc = concat!("assert_eq!(1", stringify!($SelfT), ".midpoint(4), 2);")]
201        /// ```
202        #[stable(feature = "num_midpoint", since = "1.85.0")]
203        #[rustc_const_stable(feature = "num_midpoint", since = "1.85.0")]
204        #[must_use = "this returns the result of the operation, \
205                      without modifying the original"]
206        #[doc(alias = "average_floor")]
207        #[doc(alias = "average")]
208        #[inline]
209        pub const fn midpoint(self, rhs: $SelfT) -> $SelfT {
210            ((self as $WideT + rhs as $WideT) / 2) as $SelfT
211        }
212    };
213    ($SelfT:ty, $WideT:ty, signed) => {
214        /// Calculates the midpoint (average) between `self` and `rhs`.
215        ///
216        /// `midpoint(a, b)` is `(a + b) / 2` as if it were performed in a
217        /// sufficiently-large signed integral type. This implies that the result is
218        /// always rounded towards zero and that no overflow will ever occur.
219        ///
220        /// # Examples
221        ///
222        /// ```
223        #[doc = concat!("assert_eq!(0", stringify!($SelfT), ".midpoint(4), 2);")]
224        #[doc = concat!("assert_eq!((-1", stringify!($SelfT), ").midpoint(2), 0);")]
225        #[doc = concat!("assert_eq!((-7", stringify!($SelfT), ").midpoint(0), -3);")]
226        #[doc = concat!("assert_eq!(0", stringify!($SelfT), ".midpoint(-7), -3);")]
227        #[doc = concat!("assert_eq!(0", stringify!($SelfT), ".midpoint(7), 3);")]
228        /// ```
229        #[stable(feature = "num_midpoint_signed", since = "1.87.0")]
230        #[rustc_const_stable(feature = "num_midpoint_signed", since = "1.87.0")]
231        #[must_use = "this returns the result of the operation, \
232                      without modifying the original"]
233        #[doc(alias = "average_floor")]
234        #[doc(alias = "average_ceil")]
235        #[doc(alias = "average")]
236        #[inline]
237        pub const fn midpoint(self, rhs: $SelfT) -> $SelfT {
238            ((self as $WideT + rhs as $WideT) / 2) as $SelfT
239        }
240    };
241}
242
243macro_rules! widening_carryless_mul_impl {
244    ($SelfT:ty, $WideT:ty) => {
245        /// Performs a widening carry-less multiplication.
246        ///
247        /// # Examples
248        ///
249        /// ```
250        /// #![feature(uint_carryless_mul)]
251        ///
252        #[doc = concat!("assert_eq!(", stringify!($SelfT), "::MAX.widening_carryless_mul(",
253                                stringify!($SelfT), "::MAX), ", stringify!($WideT), "::MAX / 3);")]
254        /// ```
255        #[rustc_const_unstable(feature = "uint_carryless_mul", issue = "152080")]
256        #[doc(alias = "clmul")]
257        #[unstable(feature = "uint_carryless_mul", issue = "152080")]
258        #[must_use = "this returns the result of the operation, \
259                      without modifying the original"]
260        #[inline]
261        pub const fn widening_carryless_mul(self, rhs: $SelfT) -> $WideT {
262            (self as $WideT).carryless_mul(rhs as $WideT)
263        }
264    }
265}
266
267macro_rules! carrying_carryless_mul_impl {
268    (u128, u256) => {
269        carrying_carryless_mul_impl! { @internal u128 =>
270            pub const fn carrying_carryless_mul(self, rhs: Self, carry: Self) -> (Self, Self) {
271                let x0 = self as u64;
272                let x1 = (self >> 64) as u64;
273                let y0 = rhs as u64;
274                let y1 = (rhs >> 64) as u64;
275
276                let z0 = u64::widening_carryless_mul(x0, y0);
277                let z2 = u64::widening_carryless_mul(x1, y1);
278
279                // The grade school algorithm would compute:
280                // z1 = x0y1 ^ x1y0
281
282                // Instead, Karatsuba first computes:
283                let z3 = u64::widening_carryless_mul(x0 ^ x1, y0 ^ y1);
284                // Since it distributes over XOR,
285                // z3 == x0y0 ^ x0y1 ^ x1y0 ^ x1y1
286                //       |--|   |---------|   |--|
287                //    ==  z0  ^     z1      ^  z2
288                // so we can compute z1 as
289                let z1 = z3 ^ z0 ^ z2;
290
291                let lo = z0 ^ (z1 << 64);
292                let hi = z2 ^ (z1 >> 64);
293
294                (lo ^ carry, hi)
295            }
296        }
297    };
298    ($SelfT:ty, $WideT:ty) => {
299        carrying_carryless_mul_impl! { @internal $SelfT =>
300            pub const fn carrying_carryless_mul(self, rhs: Self, carry: Self) -> (Self, Self) {
301                // Can't use widening_carryless_mul because it's not implemented for usize.
302                let p = (self as $WideT).carryless_mul(rhs as $WideT);
303
304                let lo = (p as $SelfT);
305                let hi = (p  >> Self::BITS) as $SelfT;
306
307                (lo ^ carry, hi)
308            }
309        }
310    };
311    (@internal $SelfT:ty => $($fn:tt)*) => {
312        /// Calculates the "full carryless multiplication" without the possibility to overflow.
313        ///
314        /// This returns the low-order (wrapping) bits and the high-order (overflow) bits
315        /// of the result as two separate values, in that order.
316        ///
317        /// # Examples
318        ///
319        /// Please note that this example is shared among integer types, which is why `u8` is used.
320        ///
321        /// ```
322        /// #![feature(uint_carryless_mul)]
323        ///
324        /// assert_eq!(0b1000_0000u8.carrying_carryless_mul(0b1000_0000, 0b0000), (0, 0b0100_0000));
325        /// assert_eq!(0b1000_0000u8.carrying_carryless_mul(0b1000_0000, 0b1111), (0b1111, 0b0100_0000));
326        #[doc = concat!("assert_eq!(",
327            stringify!($SelfT), "::MAX.carrying_carryless_mul(", stringify!($SelfT), "::MAX, ", stringify!($SelfT), "::MAX), ",
328            "(!(", stringify!($SelfT), "::MAX / 3), ", stringify!($SelfT), "::MAX / 3));"
329        )]
330        /// ```
331        #[rustc_const_unstable(feature = "uint_carryless_mul", issue = "152080")]
332        #[doc(alias = "clmul")]
333        #[unstable(feature = "uint_carryless_mul", issue = "152080")]
334        #[must_use = "this returns the result of the operation, \
335                      without modifying the original"]
336        #[inline]
337        $($fn)*
338    }
339}
340
341impl i8 {
342    int_impl! {
343        Self = i8,
344        ActualT = i8,
345        UnsignedT = u8,
346        BITS = 8,
347        BITS_MINUS_ONE = 7,
348        Min = -128,
349        Max = 127,
350        rot = 2,
351        rot_op = "-0x7e",
352        rot_result = "0xa",
353        swap_op = "0x12",
354        swapped = "0x12",
355        reversed = "0x48",
356        le_bytes = "[0x12]",
357        be_bytes = "[0x12]",
358        to_xe_bytes_doc = i8_xe_bytes_doc!(),
359        from_xe_bytes_doc = i8_xe_bytes_doc!(),
360        bound_condition = "",
361    }
362    midpoint_impl! { i8, i16, signed }
363}
364
365impl i16 {
366    int_impl! {
367        Self = i16,
368        ActualT = i16,
369        UnsignedT = u16,
370        BITS = 16,
371        BITS_MINUS_ONE = 15,
372        Min = -32768,
373        Max = 32767,
374        rot = 4,
375        rot_op = "-0x5ffd",
376        rot_result = "0x3a",
377        swap_op = "0x1234",
378        swapped = "0x3412",
379        reversed = "0x2c48",
380        le_bytes = "[0x34, 0x12]",
381        be_bytes = "[0x12, 0x34]",
382        to_xe_bytes_doc = "",
383        from_xe_bytes_doc = "",
384        bound_condition = "",
385    }
386    midpoint_impl! { i16, i32, signed }
387}
388
389impl i32 {
390    int_impl! {
391        Self = i32,
392        ActualT = i32,
393        UnsignedT = u32,
394        BITS = 32,
395        BITS_MINUS_ONE = 31,
396        Min = -2147483648,
397        Max = 2147483647,
398        rot = 8,
399        rot_op = "0x10000b3",
400        rot_result = "0xb301",
401        swap_op = "0x12345678",
402        swapped = "0x78563412",
403        reversed = "0x1e6a2c48",
404        le_bytes = "[0x78, 0x56, 0x34, 0x12]",
405        be_bytes = "[0x12, 0x34, 0x56, 0x78]",
406        to_xe_bytes_doc = "",
407        from_xe_bytes_doc = "",
408        bound_condition = "",
409    }
410    midpoint_impl! { i32, i64, signed }
411}
412
413impl i64 {
414    int_impl! {
415        Self = i64,
416        ActualT = i64,
417        UnsignedT = u64,
418        BITS = 64,
419        BITS_MINUS_ONE = 63,
420        Min = -9223372036854775808,
421        Max = 9223372036854775807,
422        rot = 12,
423        rot_op = "0xaa00000000006e1",
424        rot_result = "0x6e10aa",
425        swap_op = "0x1234567890123456",
426        swapped = "0x5634129078563412",
427        reversed = "0x6a2c48091e6a2c48",
428        le_bytes = "[0x56, 0x34, 0x12, 0x90, 0x78, 0x56, 0x34, 0x12]",
429        be_bytes = "[0x12, 0x34, 0x56, 0x78, 0x90, 0x12, 0x34, 0x56]",
430        to_xe_bytes_doc = "",
431        from_xe_bytes_doc = "",
432        bound_condition = "",
433    }
434    midpoint_impl! { i64, signed }
435}
436
437impl i128 {
438    int_impl! {
439        Self = i128,
440        ActualT = i128,
441        UnsignedT = u128,
442        BITS = 128,
443        BITS_MINUS_ONE = 127,
444        Min = -170141183460469231731687303715884105728,
445        Max = 170141183460469231731687303715884105727,
446        rot = 16,
447        rot_op = "0x13f40000000000000000000000004f76",
448        rot_result = "0x4f7613f4",
449        swap_op = "0x12345678901234567890123456789012",
450        swapped = "0x12907856341290785634129078563412",
451        reversed = "0x48091e6a2c48091e6a2c48091e6a2c48",
452        le_bytes = "[0x12, 0x90, 0x78, 0x56, 0x34, 0x12, 0x90, 0x78, \
453            0x56, 0x34, 0x12, 0x90, 0x78, 0x56, 0x34, 0x12]",
454        be_bytes = "[0x12, 0x34, 0x56, 0x78, 0x90, 0x12, 0x34, 0x56, \
455            0x78, 0x90, 0x12, 0x34, 0x56, 0x78, 0x90, 0x12]",
456        to_xe_bytes_doc = "",
457        from_xe_bytes_doc = "",
458        bound_condition = "",
459    }
460    midpoint_impl! { i128, signed }
461}
462
463#[cfg(target_pointer_width = "16")]
464impl isize {
465    int_impl! {
466        Self = isize,
467        ActualT = i16,
468        UnsignedT = usize,
469        BITS = 16,
470        BITS_MINUS_ONE = 15,
471        Min = -32768,
472        Max = 32767,
473        rot = 4,
474        rot_op = "-0x5ffd",
475        rot_result = "0x3a",
476        swap_op = "0x1234",
477        swapped = "0x3412",
478        reversed = "0x2c48",
479        le_bytes = "[0x34, 0x12]",
480        be_bytes = "[0x12, 0x34]",
481        to_xe_bytes_doc = usize_isize_to_xe_bytes_doc!(),
482        from_xe_bytes_doc = usize_isize_from_xe_bytes_doc!(),
483        bound_condition = " on 16-bit targets",
484    }
485    midpoint_impl! { isize, i32, signed }
486}
487
488#[cfg(target_pointer_width = "32")]
489impl isize {
490    int_impl! {
491        Self = isize,
492        ActualT = i32,
493        UnsignedT = usize,
494        BITS = 32,
495        BITS_MINUS_ONE = 31,
496        Min = -2147483648,
497        Max = 2147483647,
498        rot = 8,
499        rot_op = "0x10000b3",
500        rot_result = "0xb301",
501        swap_op = "0x12345678",
502        swapped = "0x78563412",
503        reversed = "0x1e6a2c48",
504        le_bytes = "[0x78, 0x56, 0x34, 0x12]",
505        be_bytes = "[0x12, 0x34, 0x56, 0x78]",
506        to_xe_bytes_doc = usize_isize_to_xe_bytes_doc!(),
507        from_xe_bytes_doc = usize_isize_from_xe_bytes_doc!(),
508        bound_condition = " on 32-bit targets",
509    }
510    midpoint_impl! { isize, i64, signed }
511}
512
513#[cfg(target_pointer_width = "64")]
514impl isize {
515    int_impl! {
516        Self = isize,
517        ActualT = i64,
518        UnsignedT = usize,
519        BITS = 64,
520        BITS_MINUS_ONE = 63,
521        Min = -9223372036854775808,
522        Max = 9223372036854775807,
523        rot = 12,
524        rot_op = "0xaa00000000006e1",
525        rot_result = "0x6e10aa",
526        swap_op = "0x1234567890123456",
527        swapped = "0x5634129078563412",
528        reversed = "0x6a2c48091e6a2c48",
529        le_bytes = "[0x56, 0x34, 0x12, 0x90, 0x78, 0x56, 0x34, 0x12]",
530        be_bytes = "[0x12, 0x34, 0x56, 0x78, 0x90, 0x12, 0x34, 0x56]",
531        to_xe_bytes_doc = usize_isize_to_xe_bytes_doc!(),
532        from_xe_bytes_doc = usize_isize_from_xe_bytes_doc!(),
533        bound_condition = " on 64-bit targets",
534    }
535    midpoint_impl! { isize, signed }
536}
537
538/// If the bit selected by this mask is set, ascii is lower case.
539const ASCII_CASE_MASK: u8 = 0b0010_0000;
540
541impl u8 {
542    uint_impl! {
543        Self = u8,
544        ActualT = u8,
545        SignedT = i8,
546        BITS = 8,
547        BITS_MINUS_ONE = 7,
548        MAX = 255,
549        rot = 2,
550        rot_op = "0x82",
551        rot_result = "0xa",
552        fsh_op = "0x36",
553        fshl_result = "0x8",
554        fshr_result = "0x8d",
555        clmul_lhs = "0x12",
556        clmul_rhs = "0x34",
557        clmul_result = "0x28",
558        swap_op = "0x12",
559        swapped = "0x12",
560        reversed = "0x48",
561        le_bytes = "[0x12]",
562        be_bytes = "[0x12]",
563        to_xe_bytes_doc = u8_xe_bytes_doc!(),
564        from_xe_bytes_doc = u8_xe_bytes_doc!(),
565        bound_condition = "",
566    }
567    midpoint_impl! { u8, u16, unsigned }
568    widening_carryless_mul_impl! { u8, u16 }
569    carrying_carryless_mul_impl! { u8, u16 }
570
571    /// Checks if the value is within the ASCII range.
572    ///
573    /// # Examples
574    ///
575    /// ```
576    /// let ascii = 97u8;
577    /// let non_ascii = 150u8;
578    ///
579    /// assert!(ascii.is_ascii());
580    /// assert!(!non_ascii.is_ascii());
581    /// ```
582    #[must_use]
583    #[stable(feature = "ascii_methods_on_intrinsics", since = "1.23.0")]
584    #[rustc_const_stable(feature = "const_u8_is_ascii", since = "1.43.0")]
585    #[inline]
586    pub const fn is_ascii(&self) -> bool {
587        *self <= 127
588    }
589
590    /// If the value of this byte is within the ASCII range, returns it as an
591    /// [ASCII character](ascii::Char).  Otherwise, returns `None`.
592    #[must_use]
593    #[unstable(feature = "ascii_char", issue = "110998")]
594    #[inline]
595    pub const fn as_ascii(&self) -> Option<ascii::Char> {
596        ascii::Char::from_u8(*self)
597    }
598
599    /// Converts this byte to an [ASCII character](ascii::Char), without
600    /// checking whether or not it's valid.
601    ///
602    /// # Safety
603    ///
604    /// This byte must be valid ASCII, or else this is UB.
605    #[must_use]
606    #[unstable(feature = "ascii_char", issue = "110998")]
607    #[inline]
608    pub const unsafe fn as_ascii_unchecked(&self) -> ascii::Char {
609        assert_unsafe_precondition!(
610            check_library_ub,
611            "as_ascii_unchecked requires that the byte is valid ASCII",
612            (it: &u8 = self) => it.is_ascii()
613        );
614
615        // SAFETY: the caller promised that this byte is ASCII.
616        unsafe { ascii::Char::from_u8_unchecked(*self) }
617    }
618
619    /// Makes a copy of the value in its ASCII upper case equivalent.
620    ///
621    /// ASCII letters 'a' to 'z' are mapped to 'A' to 'Z',
622    /// but non-ASCII letters are unchanged.
623    ///
624    /// To uppercase the value in-place, use [`make_ascii_uppercase`].
625    ///
626    /// # Examples
627    ///
628    /// ```
629    /// let lowercase_a = 97u8;
630    ///
631    /// assert_eq!(65, lowercase_a.to_ascii_uppercase());
632    /// ```
633    ///
634    /// [`make_ascii_uppercase`]: Self::make_ascii_uppercase
635    #[must_use = "to uppercase the value in-place, use `make_ascii_uppercase()`"]
636    #[stable(feature = "ascii_methods_on_intrinsics", since = "1.23.0")]
637    #[rustc_const_stable(feature = "const_ascii_methods_on_intrinsics", since = "1.52.0")]
638    #[inline]
639    pub const fn to_ascii_uppercase(&self) -> u8 {
640        // Toggle the 6th bit if this is a lowercase letter
641        *self ^ ((self.is_ascii_lowercase() as u8) * ASCII_CASE_MASK)
642    }
643
644    /// Makes a copy of the value in its ASCII lower case equivalent.
645    ///
646    /// ASCII letters 'A' to 'Z' are mapped to 'a' to 'z',
647    /// but non-ASCII letters are unchanged.
648    ///
649    /// To lowercase the value in-place, use [`make_ascii_lowercase`].
650    ///
651    /// # Examples
652    ///
653    /// ```
654    /// let uppercase_a = 65u8;
655    ///
656    /// assert_eq!(97, uppercase_a.to_ascii_lowercase());
657    /// ```
658    ///
659    /// [`make_ascii_lowercase`]: Self::make_ascii_lowercase
660    #[must_use = "to lowercase the value in-place, use `make_ascii_lowercase()`"]
661    #[stable(feature = "ascii_methods_on_intrinsics", since = "1.23.0")]
662    #[rustc_const_stable(feature = "const_ascii_methods_on_intrinsics", since = "1.52.0")]
663    #[inline]
664    pub const fn to_ascii_lowercase(&self) -> u8 {
665        // Set the 6th bit if this is an uppercase letter
666        *self | (self.is_ascii_uppercase() as u8 * ASCII_CASE_MASK)
667    }
668
669    /// Assumes self is ascii
670    #[inline]
671    pub(crate) const fn ascii_change_case_unchecked(&self) -> u8 {
672        *self ^ ASCII_CASE_MASK
673    }
674
675    /// Checks that two values are an ASCII case-insensitive match.
676    ///
677    /// This is equivalent to `to_ascii_lowercase(a) == to_ascii_lowercase(b)`.
678    ///
679    /// # Examples
680    ///
681    /// ```
682    /// let lowercase_a = 97u8;
683    /// let uppercase_a = 65u8;
684    ///
685    /// assert!(lowercase_a.eq_ignore_ascii_case(&uppercase_a));
686    /// ```
687    #[stable(feature = "ascii_methods_on_intrinsics", since = "1.23.0")]
688    #[rustc_const_stable(feature = "const_ascii_methods_on_intrinsics", since = "1.52.0")]
689    #[inline]
690    pub const fn eq_ignore_ascii_case(&self, other: &u8) -> bool {
691        self.to_ascii_lowercase() == other.to_ascii_lowercase()
692    }
693
694    /// Converts this value to its ASCII upper case equivalent in-place.
695    ///
696    /// ASCII letters 'a' to 'z' are mapped to 'A' to 'Z',
697    /// but non-ASCII letters are unchanged.
698    ///
699    /// To return a new uppercased value without modifying the existing one, use
700    /// [`to_ascii_uppercase`].
701    ///
702    /// # Examples
703    ///
704    /// ```
705    /// let mut byte = b'a';
706    ///
707    /// byte.make_ascii_uppercase();
708    ///
709    /// assert_eq!(b'A', byte);
710    /// ```
711    ///
712    /// [`to_ascii_uppercase`]: Self::to_ascii_uppercase
713    #[stable(feature = "ascii_methods_on_intrinsics", since = "1.23.0")]
714    #[rustc_const_stable(feature = "const_make_ascii", since = "1.84.0")]
715    #[inline]
716    pub const fn make_ascii_uppercase(&mut self) {
717        *self = self.to_ascii_uppercase();
718    }
719
720    /// Converts this value to its ASCII lower case equivalent in-place.
721    ///
722    /// ASCII letters 'A' to 'Z' are mapped to 'a' to 'z',
723    /// but non-ASCII letters are unchanged.
724    ///
725    /// To return a new lowercased value without modifying the existing one, use
726    /// [`to_ascii_lowercase`].
727    ///
728    /// # Examples
729    ///
730    /// ```
731    /// let mut byte = b'A';
732    ///
733    /// byte.make_ascii_lowercase();
734    ///
735    /// assert_eq!(b'a', byte);
736    /// ```
737    ///
738    /// [`to_ascii_lowercase`]: Self::to_ascii_lowercase
739    #[stable(feature = "ascii_methods_on_intrinsics", since = "1.23.0")]
740    #[rustc_const_stable(feature = "const_make_ascii", since = "1.84.0")]
741    #[inline]
742    pub const fn make_ascii_lowercase(&mut self) {
743        *self = self.to_ascii_lowercase();
744    }
745
746    /// Checks if the value is an ASCII alphabetic character:
747    ///
748    /// - U+0041 'A' ..= U+005A 'Z', or
749    /// - U+0061 'a' ..= U+007A 'z'.
750    ///
751    /// # Examples
752    ///
753    /// ```
754    /// let uppercase_a = b'A';
755    /// let uppercase_g = b'G';
756    /// let a = b'a';
757    /// let g = b'g';
758    /// let zero = b'0';
759    /// let percent = b'%';
760    /// let space = b' ';
761    /// let lf = b'\n';
762    /// let esc = b'\x1b';
763    ///
764    /// assert!(uppercase_a.is_ascii_alphabetic());
765    /// assert!(uppercase_g.is_ascii_alphabetic());
766    /// assert!(a.is_ascii_alphabetic());
767    /// assert!(g.is_ascii_alphabetic());
768    /// assert!(!zero.is_ascii_alphabetic());
769    /// assert!(!percent.is_ascii_alphabetic());
770    /// assert!(!space.is_ascii_alphabetic());
771    /// assert!(!lf.is_ascii_alphabetic());
772    /// assert!(!esc.is_ascii_alphabetic());
773    /// ```
774    #[must_use]
775    #[stable(feature = "ascii_ctype_on_intrinsics", since = "1.24.0")]
776    #[rustc_const_stable(feature = "const_ascii_ctype_on_intrinsics", since = "1.47.0")]
777    #[inline]
778    pub const fn is_ascii_alphabetic(&self) -> bool {
779        matches!(*self, b'A'..=b'Z' | b'a'..=b'z')
780    }
781
782    /// Checks if the value is an ASCII uppercase character:
783    /// U+0041 'A' ..= U+005A 'Z'.
784    ///
785    /// # Examples
786    ///
787    /// ```
788    /// let uppercase_a = b'A';
789    /// let uppercase_g = b'G';
790    /// let a = b'a';
791    /// let g = b'g';
792    /// let zero = b'0';
793    /// let percent = b'%';
794    /// let space = b' ';
795    /// let lf = b'\n';
796    /// let esc = b'\x1b';
797    ///
798    /// assert!(uppercase_a.is_ascii_uppercase());
799    /// assert!(uppercase_g.is_ascii_uppercase());
800    /// assert!(!a.is_ascii_uppercase());
801    /// assert!(!g.is_ascii_uppercase());
802    /// assert!(!zero.is_ascii_uppercase());
803    /// assert!(!percent.is_ascii_uppercase());
804    /// assert!(!space.is_ascii_uppercase());
805    /// assert!(!lf.is_ascii_uppercase());
806    /// assert!(!esc.is_ascii_uppercase());
807    /// ```
808    #[must_use]
809    #[stable(feature = "ascii_ctype_on_intrinsics", since = "1.24.0")]
810    #[rustc_const_stable(feature = "const_ascii_ctype_on_intrinsics", since = "1.47.0")]
811    #[inline]
812    pub const fn is_ascii_uppercase(&self) -> bool {
813        matches!(*self, b'A'..=b'Z')
814    }
815
816    /// Checks if the value is an ASCII lowercase character:
817    /// U+0061 'a' ..= U+007A 'z'.
818    ///
819    /// # Examples
820    ///
821    /// ```
822    /// let uppercase_a = b'A';
823    /// let uppercase_g = b'G';
824    /// let a = b'a';
825    /// let g = b'g';
826    /// let zero = b'0';
827    /// let percent = b'%';
828    /// let space = b' ';
829    /// let lf = b'\n';
830    /// let esc = b'\x1b';
831    ///
832    /// assert!(!uppercase_a.is_ascii_lowercase());
833    /// assert!(!uppercase_g.is_ascii_lowercase());
834    /// assert!(a.is_ascii_lowercase());
835    /// assert!(g.is_ascii_lowercase());
836    /// assert!(!zero.is_ascii_lowercase());
837    /// assert!(!percent.is_ascii_lowercase());
838    /// assert!(!space.is_ascii_lowercase());
839    /// assert!(!lf.is_ascii_lowercase());
840    /// assert!(!esc.is_ascii_lowercase());
841    /// ```
842    #[must_use]
843    #[stable(feature = "ascii_ctype_on_intrinsics", since = "1.24.0")]
844    #[rustc_const_stable(feature = "const_ascii_ctype_on_intrinsics", since = "1.47.0")]
845    #[inline]
846    pub const fn is_ascii_lowercase(&self) -> bool {
847        matches!(*self, b'a'..=b'z')
848    }
849
850    /// Checks if the value is an ASCII alphanumeric character:
851    ///
852    /// - U+0041 'A' ..= U+005A 'Z', or
853    /// - U+0061 'a' ..= U+007A 'z', or
854    /// - U+0030 '0' ..= U+0039 '9'.
855    ///
856    /// # Examples
857    ///
858    /// ```
859    /// let uppercase_a = b'A';
860    /// let uppercase_g = b'G';
861    /// let a = b'a';
862    /// let g = b'g';
863    /// let zero = b'0';
864    /// let percent = b'%';
865    /// let space = b' ';
866    /// let lf = b'\n';
867    /// let esc = b'\x1b';
868    ///
869    /// assert!(uppercase_a.is_ascii_alphanumeric());
870    /// assert!(uppercase_g.is_ascii_alphanumeric());
871    /// assert!(a.is_ascii_alphanumeric());
872    /// assert!(g.is_ascii_alphanumeric());
873    /// assert!(zero.is_ascii_alphanumeric());
874    /// assert!(!percent.is_ascii_alphanumeric());
875    /// assert!(!space.is_ascii_alphanumeric());
876    /// assert!(!lf.is_ascii_alphanumeric());
877    /// assert!(!esc.is_ascii_alphanumeric());
878    /// ```
879    #[must_use]
880    #[stable(feature = "ascii_ctype_on_intrinsics", since = "1.24.0")]
881    #[rustc_const_stable(feature = "const_ascii_ctype_on_intrinsics", since = "1.47.0")]
882    #[inline]
883    pub const fn is_ascii_alphanumeric(&self) -> bool {
884        matches!(*self, b'0'..=b'9') | matches!(*self, b'A'..=b'Z') | matches!(*self, b'a'..=b'z')
885    }
886
887    /// Checks if the value is an ASCII decimal digit:
888    /// U+0030 '0' ..= U+0039 '9'.
889    ///
890    /// # Examples
891    ///
892    /// ```
893    /// let uppercase_a = b'A';
894    /// let uppercase_g = b'G';
895    /// let a = b'a';
896    /// let g = b'g';
897    /// let zero = b'0';
898    /// let percent = b'%';
899    /// let space = b' ';
900    /// let lf = b'\n';
901    /// let esc = b'\x1b';
902    ///
903    /// assert!(!uppercase_a.is_ascii_digit());
904    /// assert!(!uppercase_g.is_ascii_digit());
905    /// assert!(!a.is_ascii_digit());
906    /// assert!(!g.is_ascii_digit());
907    /// assert!(zero.is_ascii_digit());
908    /// assert!(!percent.is_ascii_digit());
909    /// assert!(!space.is_ascii_digit());
910    /// assert!(!lf.is_ascii_digit());
911    /// assert!(!esc.is_ascii_digit());
912    /// ```
913    #[must_use]
914    #[stable(feature = "ascii_ctype_on_intrinsics", since = "1.24.0")]
915    #[rustc_const_stable(feature = "const_ascii_ctype_on_intrinsics", since = "1.47.0")]
916    #[inline]
917    pub const fn is_ascii_digit(&self) -> bool {
918        matches!(*self, b'0'..=b'9')
919    }
920
921    /// Checks if the value is an ASCII octal digit:
922    /// U+0030 '0' ..= U+0037 '7'.
923    ///
924    /// # Examples
925    ///
926    /// ```
927    /// #![feature(is_ascii_octdigit)]
928    ///
929    /// let uppercase_a = b'A';
930    /// let a = b'a';
931    /// let zero = b'0';
932    /// let seven = b'7';
933    /// let nine = b'9';
934    /// let percent = b'%';
935    /// let lf = b'\n';
936    ///
937    /// assert!(!uppercase_a.is_ascii_octdigit());
938    /// assert!(!a.is_ascii_octdigit());
939    /// assert!(zero.is_ascii_octdigit());
940    /// assert!(seven.is_ascii_octdigit());
941    /// assert!(!nine.is_ascii_octdigit());
942    /// assert!(!percent.is_ascii_octdigit());
943    /// assert!(!lf.is_ascii_octdigit());
944    /// ```
945    #[must_use]
946    #[unstable(feature = "is_ascii_octdigit", issue = "101288")]
947    #[inline]
948    pub const fn is_ascii_octdigit(&self) -> bool {
949        matches!(*self, b'0'..=b'7')
950    }
951
952    /// Checks if the value is an ASCII hexadecimal digit:
953    ///
954    /// - U+0030 '0' ..= U+0039 '9', or
955    /// - U+0041 'A' ..= U+0046 'F', or
956    /// - U+0061 'a' ..= U+0066 'f'.
957    ///
958    /// # Examples
959    ///
960    /// ```
961    /// let uppercase_a = b'A';
962    /// let uppercase_g = b'G';
963    /// let a = b'a';
964    /// let g = b'g';
965    /// let zero = b'0';
966    /// let percent = b'%';
967    /// let space = b' ';
968    /// let lf = b'\n';
969    /// let esc = b'\x1b';
970    ///
971    /// assert!(uppercase_a.is_ascii_hexdigit());
972    /// assert!(!uppercase_g.is_ascii_hexdigit());
973    /// assert!(a.is_ascii_hexdigit());
974    /// assert!(!g.is_ascii_hexdigit());
975    /// assert!(zero.is_ascii_hexdigit());
976    /// assert!(!percent.is_ascii_hexdigit());
977    /// assert!(!space.is_ascii_hexdigit());
978    /// assert!(!lf.is_ascii_hexdigit());
979    /// assert!(!esc.is_ascii_hexdigit());
980    /// ```
981    #[must_use]
982    #[stable(feature = "ascii_ctype_on_intrinsics", since = "1.24.0")]
983    #[rustc_const_stable(feature = "const_ascii_ctype_on_intrinsics", since = "1.47.0")]
984    #[inline]
985    pub const fn is_ascii_hexdigit(&self) -> bool {
986        matches!(*self, b'0'..=b'9') | matches!(*self, b'A'..=b'F') | matches!(*self, b'a'..=b'f')
987    }
988
989    /// Checks if the value is an ASCII punctuation character:
990    ///
991    /// - U+0021 ..= U+002F `! " # $ % & ' ( ) * + , - . /`, or
992    /// - U+003A ..= U+0040 `: ; < = > ? @`, or
993    /// - U+005B ..= U+0060 `` [ \ ] ^ _ ` ``, or
994    /// - U+007B ..= U+007E `{ | } ~`
995    ///
996    /// # Examples
997    ///
998    /// ```
999    /// let uppercase_a = b'A';
1000    /// let uppercase_g = b'G';
1001    /// let a = b'a';
1002    /// let g = b'g';
1003    /// let zero = b'0';
1004    /// let percent = b'%';
1005    /// let space = b' ';
1006    /// let lf = b'\n';
1007    /// let esc = b'\x1b';
1008    ///
1009    /// assert!(!uppercase_a.is_ascii_punctuation());
1010    /// assert!(!uppercase_g.is_ascii_punctuation());
1011    /// assert!(!a.is_ascii_punctuation());
1012    /// assert!(!g.is_ascii_punctuation());
1013    /// assert!(!zero.is_ascii_punctuation());
1014    /// assert!(percent.is_ascii_punctuation());
1015    /// assert!(!space.is_ascii_punctuation());
1016    /// assert!(!lf.is_ascii_punctuation());
1017    /// assert!(!esc.is_ascii_punctuation());
1018    /// ```
1019    #[must_use]
1020    #[stable(feature = "ascii_ctype_on_intrinsics", since = "1.24.0")]
1021    #[rustc_const_stable(feature = "const_ascii_ctype_on_intrinsics", since = "1.47.0")]
1022    #[inline]
1023    pub const fn is_ascii_punctuation(&self) -> bool {
1024        matches!(*self, b'!'..=b'/')
1025            | matches!(*self, b':'..=b'@')
1026            | matches!(*self, b'['..=b'`')
1027            | matches!(*self, b'{'..=b'~')
1028    }
1029
1030    /// Checks if the value is an ASCII graphic character:
1031    /// U+0021 '!' ..= U+007E '~'.
1032    ///
1033    /// # Examples
1034    ///
1035    /// ```
1036    /// let uppercase_a = b'A';
1037    /// let uppercase_g = b'G';
1038    /// let a = b'a';
1039    /// let g = b'g';
1040    /// let zero = b'0';
1041    /// let percent = b'%';
1042    /// let space = b' ';
1043    /// let lf = b'\n';
1044    /// let esc = b'\x1b';
1045    ///
1046    /// assert!(uppercase_a.is_ascii_graphic());
1047    /// assert!(uppercase_g.is_ascii_graphic());
1048    /// assert!(a.is_ascii_graphic());
1049    /// assert!(g.is_ascii_graphic());
1050    /// assert!(zero.is_ascii_graphic());
1051    /// assert!(percent.is_ascii_graphic());
1052    /// assert!(!space.is_ascii_graphic());
1053    /// assert!(!lf.is_ascii_graphic());
1054    /// assert!(!esc.is_ascii_graphic());
1055    /// ```
1056    #[must_use]
1057    #[stable(feature = "ascii_ctype_on_intrinsics", since = "1.24.0")]
1058    #[rustc_const_stable(feature = "const_ascii_ctype_on_intrinsics", since = "1.47.0")]
1059    #[inline]
1060    pub const fn is_ascii_graphic(&self) -> bool {
1061        matches!(*self, b'!'..=b'~')
1062    }
1063
1064    /// Checks if the value is an ASCII whitespace character:
1065    /// U+0020 SPACE, U+0009 HORIZONTAL TAB, U+000A LINE FEED,
1066    /// U+000C FORM FEED, or U+000D CARRIAGE RETURN.
1067    ///
1068    /// Rust uses the WhatWG Infra Standard's [definition of ASCII
1069    /// whitespace][infra-aw]. There are several other definitions in
1070    /// wide use. For instance, [the POSIX locale][pct] includes
1071    /// U+000B VERTICAL TAB as well as all the above characters,
1072    /// but—from the very same specification—[the default rule for
1073    /// "field splitting" in the Bourne shell][bfs] considers *only*
1074    /// SPACE, HORIZONTAL TAB, and LINE FEED as whitespace.
1075    ///
1076    /// If you are writing a program that will process an existing
1077    /// file format, check what that format's definition of whitespace is
1078    /// before using this function.
1079    ///
1080    /// [infra-aw]: https://infra.spec.whatwg.org/#ascii-whitespace
1081    /// [pct]: https://pubs.opengroup.org/onlinepubs/9699919799/basedefs/V1_chap07.html#tag_07_03_01
1082    /// [bfs]: https://pubs.opengroup.org/onlinepubs/9699919799/utilities/V3_chap02.html#tag_18_06_05
1083    ///
1084    /// # Examples
1085    ///
1086    /// ```
1087    /// let uppercase_a = b'A';
1088    /// let uppercase_g = b'G';
1089    /// let a = b'a';
1090    /// let g = b'g';
1091    /// let zero = b'0';
1092    /// let percent = b'%';
1093    /// let space = b' ';
1094    /// let lf = b'\n';
1095    /// let esc = b'\x1b';
1096    ///
1097    /// assert!(!uppercase_a.is_ascii_whitespace());
1098    /// assert!(!uppercase_g.is_ascii_whitespace());
1099    /// assert!(!a.is_ascii_whitespace());
1100    /// assert!(!g.is_ascii_whitespace());
1101    /// assert!(!zero.is_ascii_whitespace());
1102    /// assert!(!percent.is_ascii_whitespace());
1103    /// assert!(space.is_ascii_whitespace());
1104    /// assert!(lf.is_ascii_whitespace());
1105    /// assert!(!esc.is_ascii_whitespace());
1106    /// ```
1107    #[must_use]
1108    #[stable(feature = "ascii_ctype_on_intrinsics", since = "1.24.0")]
1109    #[rustc_const_stable(feature = "const_ascii_ctype_on_intrinsics", since = "1.47.0")]
1110    #[inline]
1111    pub const fn is_ascii_whitespace(&self) -> bool {
1112        matches!(*self, b'\t' | b'\n' | b'\x0C' | b'\r' | b' ')
1113    }
1114
1115    /// Checks if the value is an ASCII control character:
1116    /// U+0000 NUL ..= U+001F UNIT SEPARATOR, or U+007F DELETE.
1117    /// Note that most ASCII whitespace characters are control
1118    /// characters, but SPACE is not.
1119    ///
1120    /// # Examples
1121    ///
1122    /// ```
1123    /// let uppercase_a = b'A';
1124    /// let uppercase_g = b'G';
1125    /// let a = b'a';
1126    /// let g = b'g';
1127    /// let zero = b'0';
1128    /// let percent = b'%';
1129    /// let space = b' ';
1130    /// let lf = b'\n';
1131    /// let esc = b'\x1b';
1132    ///
1133    /// assert!(!uppercase_a.is_ascii_control());
1134    /// assert!(!uppercase_g.is_ascii_control());
1135    /// assert!(!a.is_ascii_control());
1136    /// assert!(!g.is_ascii_control());
1137    /// assert!(!zero.is_ascii_control());
1138    /// assert!(!percent.is_ascii_control());
1139    /// assert!(!space.is_ascii_control());
1140    /// assert!(lf.is_ascii_control());
1141    /// assert!(esc.is_ascii_control());
1142    /// ```
1143    #[must_use]
1144    #[stable(feature = "ascii_ctype_on_intrinsics", since = "1.24.0")]
1145    #[rustc_const_stable(feature = "const_ascii_ctype_on_intrinsics", since = "1.47.0")]
1146    #[inline]
1147    pub const fn is_ascii_control(&self) -> bool {
1148        matches!(*self, b'\0'..=b'\x1F' | b'\x7F')
1149    }
1150
1151    /// Returns an iterator that produces an escaped version of a `u8`,
1152    /// treating it as an ASCII character.
1153    ///
1154    /// The behavior is identical to [`ascii::escape_default`].
1155    ///
1156    /// # Examples
1157    ///
1158    /// ```
1159    /// assert_eq!("0", b'0'.escape_ascii().to_string());
1160    /// assert_eq!("\\t", b'\t'.escape_ascii().to_string());
1161    /// assert_eq!("\\r", b'\r'.escape_ascii().to_string());
1162    /// assert_eq!("\\n", b'\n'.escape_ascii().to_string());
1163    /// assert_eq!("\\'", b'\''.escape_ascii().to_string());
1164    /// assert_eq!("\\\"", b'"'.escape_ascii().to_string());
1165    /// assert_eq!("\\\\", b'\\'.escape_ascii().to_string());
1166    /// assert_eq!("\\x9d", b'\x9d'.escape_ascii().to_string());
1167    /// ```
1168    #[must_use = "this returns the escaped byte as an iterator, \
1169                  without modifying the original"]
1170    #[stable(feature = "inherent_ascii_escape", since = "1.60.0")]
1171    #[inline]
1172    pub fn escape_ascii(self) -> ascii::EscapeDefault {
1173        ascii::escape_default(self)
1174    }
1175
1176    #[inline]
1177    pub(crate) const fn is_utf8_char_boundary(self) -> bool {
1178        // This is bit magic equivalent to: b < 128 || b >= 192
1179        (self as i8) >= -0x40
1180    }
1181}
1182
1183impl u16 {
1184    uint_impl! {
1185        Self = u16,
1186        ActualT = u16,
1187        SignedT = i16,
1188        BITS = 16,
1189        BITS_MINUS_ONE = 15,
1190        MAX = 65535,
1191        rot = 4,
1192        rot_op = "0xa003",
1193        rot_result = "0x3a",
1194        fsh_op = "0x2de",
1195        fshl_result = "0x30",
1196        fshr_result = "0x302d",
1197        clmul_lhs = "0x9012",
1198        clmul_rhs = "0xcd34",
1199        clmul_result = "0x928",
1200        swap_op = "0x1234",
1201        swapped = "0x3412",
1202        reversed = "0x2c48",
1203        le_bytes = "[0x34, 0x12]",
1204        be_bytes = "[0x12, 0x34]",
1205        to_xe_bytes_doc = "",
1206        from_xe_bytes_doc = "",
1207        bound_condition = "",
1208    }
1209    midpoint_impl! { u16, u32, unsigned }
1210    widening_carryless_mul_impl! { u16, u32 }
1211    carrying_carryless_mul_impl! { u16, u32 }
1212
1213    /// Checks if the value is a Unicode surrogate code point, which are disallowed values for [`char`].
1214    ///
1215    /// # Examples
1216    ///
1217    /// ```
1218    /// #![feature(utf16_extra)]
1219    ///
1220    /// let low_non_surrogate = 0xA000u16;
1221    /// let low_surrogate = 0xD800u16;
1222    /// let high_surrogate = 0xDC00u16;
1223    /// let high_non_surrogate = 0xE000u16;
1224    ///
1225    /// assert!(!low_non_surrogate.is_utf16_surrogate());
1226    /// assert!(low_surrogate.is_utf16_surrogate());
1227    /// assert!(high_surrogate.is_utf16_surrogate());
1228    /// assert!(!high_non_surrogate.is_utf16_surrogate());
1229    /// ```
1230    #[must_use]
1231    #[unstable(feature = "utf16_extra", issue = "94919")]
1232    #[inline]
1233    pub const fn is_utf16_surrogate(self) -> bool {
1234        matches!(self, 0xD800..=0xDFFF)
1235    }
1236}
1237
1238impl u32 {
1239    uint_impl! {
1240        Self = u32,
1241        ActualT = u32,
1242        SignedT = i32,
1243        BITS = 32,
1244        BITS_MINUS_ONE = 31,
1245        MAX = 4294967295,
1246        rot = 8,
1247        rot_op = "0x10000b3",
1248        rot_result = "0xb301",
1249        fsh_op = "0x2fe78e45",
1250        fshl_result = "0xb32f",
1251        fshr_result = "0xb32fe78e",
1252        clmul_lhs = "0x56789012",
1253        clmul_rhs = "0xf52ecd34",
1254        clmul_result = "0x9b980928",
1255        swap_op = "0x12345678",
1256        swapped = "0x78563412",
1257        reversed = "0x1e6a2c48",
1258        le_bytes = "[0x78, 0x56, 0x34, 0x12]",
1259        be_bytes = "[0x12, 0x34, 0x56, 0x78]",
1260        to_xe_bytes_doc = "",
1261        from_xe_bytes_doc = "",
1262        bound_condition = "",
1263    }
1264    midpoint_impl! { u32, u64, unsigned }
1265    widening_carryless_mul_impl! { u32, u64 }
1266    carrying_carryless_mul_impl! { u32, u64 }
1267}
1268
1269impl u64 {
1270    uint_impl! {
1271        Self = u64,
1272        ActualT = u64,
1273        SignedT = i64,
1274        BITS = 64,
1275        BITS_MINUS_ONE = 63,
1276        MAX = 18446744073709551615,
1277        rot = 12,
1278        rot_op = "0xaa00000000006e1",
1279        rot_result = "0x6e10aa",
1280        fsh_op = "0x2fe78e45983acd98",
1281        fshl_result = "0x6e12fe",
1282        fshr_result = "0x6e12fe78e45983ac",
1283        clmul_lhs = "0x7890123456789012",
1284        clmul_rhs = "0xdd358416f52ecd34",
1285        clmul_result = "0xa6299579b980928",
1286        swap_op = "0x1234567890123456",
1287        swapped = "0x5634129078563412",
1288        reversed = "0x6a2c48091e6a2c48",
1289        le_bytes = "[0x56, 0x34, 0x12, 0x90, 0x78, 0x56, 0x34, 0x12]",
1290        be_bytes = "[0x12, 0x34, 0x56, 0x78, 0x90, 0x12, 0x34, 0x56]",
1291        to_xe_bytes_doc = "",
1292        from_xe_bytes_doc = "",
1293        bound_condition = "",
1294    }
1295    midpoint_impl! { u64, u128, unsigned }
1296    widening_carryless_mul_impl! { u64, u128 }
1297    carrying_carryless_mul_impl! { u64, u128 }
1298}
1299
1300impl u128 {
1301    uint_impl! {
1302        Self = u128,
1303        ActualT = u128,
1304        SignedT = i128,
1305        BITS = 128,
1306        BITS_MINUS_ONE = 127,
1307        MAX = 340282366920938463463374607431768211455,
1308        rot = 16,
1309        rot_op = "0x13f40000000000000000000000004f76",
1310        rot_result = "0x4f7613f4",
1311        fsh_op = "0x2fe78e45983acd98039000008736273",
1312        fshl_result = "0x4f7602fe",
1313        fshr_result = "0x4f7602fe78e45983acd9803900000873",
1314        clmul_lhs = "0x12345678901234567890123456789012",
1315        clmul_rhs = "0x4317e40ab4ddcf05dd358416f52ecd34",
1316        clmul_result = "0xb9cf660de35d0c170a6299579b980928",
1317        swap_op = "0x12345678901234567890123456789012",
1318        swapped = "0x12907856341290785634129078563412",
1319        reversed = "0x48091e6a2c48091e6a2c48091e6a2c48",
1320        le_bytes = "[0x12, 0x90, 0x78, 0x56, 0x34, 0x12, 0x90, 0x78, \
1321            0x56, 0x34, 0x12, 0x90, 0x78, 0x56, 0x34, 0x12]",
1322        be_bytes = "[0x12, 0x34, 0x56, 0x78, 0x90, 0x12, 0x34, 0x56, \
1323            0x78, 0x90, 0x12, 0x34, 0x56, 0x78, 0x90, 0x12]",
1324        to_xe_bytes_doc = "",
1325        from_xe_bytes_doc = "",
1326        bound_condition = "",
1327    }
1328    midpoint_impl! { u128, unsigned }
1329    carrying_carryless_mul_impl! { u128, u256 }
1330}
1331
1332#[cfg(target_pointer_width = "16")]
1333impl usize {
1334    uint_impl! {
1335        Self = usize,
1336        ActualT = u16,
1337        SignedT = isize,
1338        BITS = 16,
1339        BITS_MINUS_ONE = 15,
1340        MAX = 65535,
1341        rot = 4,
1342        rot_op = "0xa003",
1343        rot_result = "0x3a",
1344        fsh_op = "0x2de",
1345        fshl_result = "0x30",
1346        fshr_result = "0x302d",
1347        clmul_lhs = "0x9012",
1348        clmul_rhs = "0xcd34",
1349        clmul_result = "0x928",
1350        swap_op = "0x1234",
1351        swapped = "0x3412",
1352        reversed = "0x2c48",
1353        le_bytes = "[0x34, 0x12]",
1354        be_bytes = "[0x12, 0x34]",
1355        to_xe_bytes_doc = usize_isize_to_xe_bytes_doc!(),
1356        from_xe_bytes_doc = usize_isize_from_xe_bytes_doc!(),
1357        bound_condition = " on 16-bit targets",
1358    }
1359    midpoint_impl! { usize, u32, unsigned }
1360    carrying_carryless_mul_impl! { usize, u32 }
1361}
1362
1363#[cfg(target_pointer_width = "32")]
1364impl usize {
1365    uint_impl! {
1366        Self = usize,
1367        ActualT = u32,
1368        SignedT = isize,
1369        BITS = 32,
1370        BITS_MINUS_ONE = 31,
1371        MAX = 4294967295,
1372        rot = 8,
1373        rot_op = "0x10000b3",
1374        rot_result = "0xb301",
1375        fsh_op = "0x2fe78e45",
1376        fshl_result = "0xb32f",
1377        fshr_result = "0xb32fe78e",
1378        clmul_lhs = "0x56789012",
1379        clmul_rhs = "0xf52ecd34",
1380        clmul_result = "0x9b980928",
1381        swap_op = "0x12345678",
1382        swapped = "0x78563412",
1383        reversed = "0x1e6a2c48",
1384        le_bytes = "[0x78, 0x56, 0x34, 0x12]",
1385        be_bytes = "[0x12, 0x34, 0x56, 0x78]",
1386        to_xe_bytes_doc = usize_isize_to_xe_bytes_doc!(),
1387        from_xe_bytes_doc = usize_isize_from_xe_bytes_doc!(),
1388        bound_condition = " on 32-bit targets",
1389    }
1390    midpoint_impl! { usize, u64, unsigned }
1391    carrying_carryless_mul_impl! { usize, u64 }
1392}
1393
1394#[cfg(target_pointer_width = "64")]
1395impl usize {
1396    uint_impl! {
1397        Self = usize,
1398        ActualT = u64,
1399        SignedT = isize,
1400        BITS = 64,
1401        BITS_MINUS_ONE = 63,
1402        MAX = 18446744073709551615,
1403        rot = 12,
1404        rot_op = "0xaa00000000006e1",
1405        rot_result = "0x6e10aa",
1406        fsh_op = "0x2fe78e45983acd98",
1407        fshl_result = "0x6e12fe",
1408        fshr_result = "0x6e12fe78e45983ac",
1409        clmul_lhs = "0x7890123456789012",
1410        clmul_rhs = "0xdd358416f52ecd34",
1411        clmul_result = "0xa6299579b980928",
1412        swap_op = "0x1234567890123456",
1413        swapped = "0x5634129078563412",
1414        reversed = "0x6a2c48091e6a2c48",
1415        le_bytes = "[0x56, 0x34, 0x12, 0x90, 0x78, 0x56, 0x34, 0x12]",
1416        be_bytes = "[0x12, 0x34, 0x56, 0x78, 0x90, 0x12, 0x34, 0x56]",
1417        to_xe_bytes_doc = usize_isize_to_xe_bytes_doc!(),
1418        from_xe_bytes_doc = usize_isize_from_xe_bytes_doc!(),
1419        bound_condition = " on 64-bit targets",
1420    }
1421    midpoint_impl! { usize, u128, unsigned }
1422    carrying_carryless_mul_impl! { usize, u128 }
1423}
1424
1425impl usize {
1426    /// Returns an `usize` where every byte is equal to `x`.
1427    #[inline]
1428    pub(crate) const fn repeat_u8(x: u8) -> usize {
1429        usize::from_ne_bytes([x; size_of::<usize>()])
1430    }
1431
1432    /// Returns an `usize` where every byte pair is equal to `x`.
1433    #[inline]
1434    pub(crate) const fn repeat_u16(x: u16) -> usize {
1435        let mut r = 0usize;
1436        let mut i = 0;
1437        while i < size_of::<usize>() {
1438            // Use `wrapping_shl` to make it work on targets with 16-bit `usize`
1439            r = r.wrapping_shl(16) | (x as usize);
1440            i += 2;
1441        }
1442        r
1443    }
1444}
1445
1446/// A classification of floating point numbers.
1447///
1448/// This `enum` is used as the return type for [`f32::classify`] and [`f64::classify`]. See
1449/// their documentation for more.
1450///
1451/// # Examples
1452///
1453/// ```
1454/// use std::num::FpCategory;
1455///
1456/// let num = 12.4_f32;
1457/// let inf = f32::INFINITY;
1458/// let zero = 0f32;
1459/// let sub: f32 = 1.1754942e-38;
1460/// let nan = f32::NAN;
1461///
1462/// assert_eq!(num.classify(), FpCategory::Normal);
1463/// assert_eq!(inf.classify(), FpCategory::Infinite);
1464/// assert_eq!(zero.classify(), FpCategory::Zero);
1465/// assert_eq!(sub.classify(), FpCategory::Subnormal);
1466/// assert_eq!(nan.classify(), FpCategory::Nan);
1467/// ```
1468#[derive(Copy, Clone, PartialEq, Eq, Debug)]
1469#[stable(feature = "rust1", since = "1.0.0")]
1470pub enum FpCategory {
1471    /// NaN (not a number): this value results from calculations like `(-1.0).sqrt()`.
1472    ///
1473    /// See [the documentation for `f32`](f32) for more information on the unusual properties
1474    /// of NaN.
1475    #[stable(feature = "rust1", since = "1.0.0")]
1476    Nan,
1477
1478    /// Positive or negative infinity, which often results from dividing a nonzero number
1479    /// by zero.
1480    #[stable(feature = "rust1", since = "1.0.0")]
1481    Infinite,
1482
1483    /// Positive or negative zero.
1484    ///
1485    /// See [the documentation for `f32`](f32) for more information on the signedness of zeroes.
1486    #[stable(feature = "rust1", since = "1.0.0")]
1487    Zero,
1488
1489    /// “Subnormal” or “denormal” floating point representation (less precise, relative to
1490    /// their magnitude, than [`Normal`]).
1491    ///
1492    /// Subnormal numbers are larger in magnitude than [`Zero`] but smaller in magnitude than all
1493    /// [`Normal`] numbers.
1494    ///
1495    /// [`Normal`]: Self::Normal
1496    /// [`Zero`]: Self::Zero
1497    #[stable(feature = "rust1", since = "1.0.0")]
1498    Subnormal,
1499
1500    /// A regular floating point number, not any of the exceptional categories.
1501    ///
1502    /// The smallest positive normal numbers are [`f32::MIN_POSITIVE`] and [`f64::MIN_POSITIVE`],
1503    /// and the largest positive normal numbers are [`f32::MAX`] and [`f64::MAX`]. (Unlike signed
1504    /// integers, floating point numbers are symmetric in their range, so negating any of these
1505    /// constants will produce their negative counterpart.)
1506    #[stable(feature = "rust1", since = "1.0.0")]
1507    Normal,
1508}
1509
1510/// Determines if a string of text of that length of that radix could be guaranteed to be
1511/// stored in the given type T.
1512/// Note that if the radix is known to the compiler, it is just the check of digits.len that
1513/// is done at runtime.
1514#[doc(hidden)]
1515#[inline(always)]
1516#[unstable(issue = "none", feature = "std_internals")]
1517pub const fn can_not_overflow<T>(radix: u32, is_signed_ty: bool, digits: &[u8]) -> bool {
1518    radix <= 16 && digits.len() <= size_of::<T>() * 2 - is_signed_ty as usize
1519}
1520
1521#[cfg_attr(not(panic = "immediate-abort"), inline(never))]
1522#[cfg_attr(panic = "immediate-abort", inline)]
1523#[cold]
1524#[track_caller]
1525const fn from_ascii_radix_panic(radix: u32) -> ! {
1526    const_panic!(
1527        "from_ascii_radix: radix must lie in the range `[2, 36]`",
1528        "from_ascii_radix: radix must lie in the range `[2, 36]` - found {radix}",
1529        radix: u32 = radix,
1530    )
1531}
1532
1533macro_rules! from_str_int_impl {
1534    ($signedness:ident $($int_ty:ty)+) => {$(
1535        #[stable(feature = "rust1", since = "1.0.0")]
1536        #[rustc_const_unstable(feature = "const_convert", issue = "143773")]
1537        impl const FromStr for $int_ty {
1538            type Err = ParseIntError;
1539
1540            /// Parses an integer from a string slice with decimal digits.
1541            ///
1542            /// The characters are expected to be an optional
1543            #[doc = sign_dependent_expr!{
1544                $signedness ?
1545                if signed {
1546                    " `+` or `-` "
1547                }
1548                if unsigned {
1549                    " `+` "
1550                }
1551            }]
1552            /// sign followed by only digits. Leading and trailing non-digit characters (including
1553            /// whitespace) represent an error. Underscores (which are accepted in Rust literals)
1554            /// also represent an error.
1555            ///
1556            /// # See also
1557            /// For parsing numbers in other bases, such as binary or hexadecimal,
1558            /// see [`from_str_radix`][Self::from_str_radix].
1559            ///
1560            /// # Examples
1561            ///
1562            /// ```
1563            /// use std::str::FromStr;
1564            ///
1565            #[doc = concat!("assert_eq!(", stringify!($int_ty), "::from_str(\"+10\"), Ok(10));")]
1566            /// ```
1567            /// Trailing space returns error:
1568            /// ```
1569            /// # use std::str::FromStr;
1570            /// #
1571            #[doc = concat!("assert!(", stringify!($int_ty), "::from_str(\"1 \").is_err());")]
1572            /// ```
1573            #[inline]
1574            fn from_str(src: &str) -> Result<$int_ty, ParseIntError> {
1575                <$int_ty>::from_str_radix(src, 10)
1576            }
1577        }
1578
1579        impl $int_ty {
1580            /// Parses an integer from a string slice with digits in a given base.
1581            ///
1582            /// The string is expected to be an optional
1583            #[doc = sign_dependent_expr!{
1584                $signedness ?
1585                if signed {
1586                    " `+` or `-` "
1587                }
1588                if unsigned {
1589                    " `+` "
1590                }
1591            }]
1592            /// sign followed by only digits. Leading and trailing non-digit characters (including
1593            /// whitespace) represent an error. Underscores (which are accepted in Rust literals)
1594            /// also represent an error.
1595            ///
1596            /// Digits are a subset of these characters, depending on `radix`:
1597            /// * `0-9`
1598            /// * `a-z`
1599            /// * `A-Z`
1600            ///
1601            /// # Panics
1602            ///
1603            /// This function panics if `radix` is not in the range from 2 to 36.
1604            ///
1605            /// # See also
1606            /// If the string to be parsed is in base 10 (decimal),
1607            /// [`from_str`] or [`str::parse`] can also be used.
1608            ///
1609            // FIXME(#122566): These HTML links work around a rustdoc-json test failure.
1610            /// [`from_str`]: #method.from_str
1611            /// [`str::parse`]: primitive.str.html#method.parse
1612            ///
1613            /// # Examples
1614            ///
1615            /// ```
1616            #[doc = concat!("assert_eq!(", stringify!($int_ty), "::from_str_radix(\"A\", 16), Ok(10));")]
1617            /// ```
1618            /// Trailing space returns error:
1619            /// ```
1620            #[doc = concat!("assert!(", stringify!($int_ty), "::from_str_radix(\"1 \", 10).is_err());")]
1621            /// ```
1622            #[stable(feature = "rust1", since = "1.0.0")]
1623            #[rustc_const_stable(feature = "const_int_from_str", since = "1.82.0")]
1624            #[inline]
1625            pub const fn from_str_radix(src: &str, radix: u32) -> Result<$int_ty, ParseIntError> {
1626                <$int_ty>::from_ascii_radix(src.as_bytes(), radix)
1627            }
1628
1629            /// Parses an integer from an ASCII-byte slice with decimal digits.
1630            ///
1631            /// The characters are expected to be an optional
1632            #[doc = sign_dependent_expr!{
1633                $signedness ?
1634                if signed {
1635                    " `+` or `-` "
1636                }
1637                if unsigned {
1638                    " `+` "
1639                }
1640            }]
1641            /// sign followed by only digits. Leading and trailing non-digit characters (including
1642            /// whitespace) represent an error. Underscores (which are accepted in Rust literals)
1643            /// also represent an error.
1644            ///
1645            /// # Examples
1646            ///
1647            /// ```
1648            /// #![feature(int_from_ascii)]
1649            ///
1650            #[doc = concat!("assert_eq!(", stringify!($int_ty), "::from_ascii(b\"+10\"), Ok(10));")]
1651            /// ```
1652            /// Trailing space returns error:
1653            /// ```
1654            /// # #![feature(int_from_ascii)]
1655            /// #
1656            #[doc = concat!("assert!(", stringify!($int_ty), "::from_ascii(b\"1 \").is_err());")]
1657            /// ```
1658            #[unstable(feature = "int_from_ascii", issue = "134821")]
1659            #[inline]
1660            pub const fn from_ascii(src: &[u8]) -> Result<$int_ty, ParseIntError> {
1661                <$int_ty>::from_ascii_radix(src, 10)
1662            }
1663
1664            /// Parses an integer from an ASCII-byte slice with digits in a given base.
1665            ///
1666            /// The characters are expected to be an optional
1667            #[doc = sign_dependent_expr!{
1668                $signedness ?
1669                if signed {
1670                    " `+` or `-` "
1671                }
1672                if unsigned {
1673                    " `+` "
1674                }
1675            }]
1676            /// sign followed by only digits. Leading and trailing non-digit characters (including
1677            /// whitespace) represent an error. Underscores (which are accepted in Rust literals)
1678            /// also represent an error.
1679            ///
1680            /// Digits are a subset of these characters, depending on `radix`:
1681            /// * `0-9`
1682            /// * `a-z`
1683            /// * `A-Z`
1684            ///
1685            /// # Panics
1686            ///
1687            /// This function panics if `radix` is not in the range from 2 to 36.
1688            ///
1689            /// # Examples
1690            ///
1691            /// ```
1692            /// #![feature(int_from_ascii)]
1693            ///
1694            #[doc = concat!("assert_eq!(", stringify!($int_ty), "::from_ascii_radix(b\"A\", 16), Ok(10));")]
1695            /// ```
1696            /// Trailing space returns error:
1697            /// ```
1698            /// # #![feature(int_from_ascii)]
1699            /// #
1700            #[doc = concat!("assert!(", stringify!($int_ty), "::from_ascii_radix(b\"1 \", 10).is_err());")]
1701            /// ```
1702            #[unstable(feature = "int_from_ascii", issue = "134821")]
1703            #[inline]
1704            pub const fn from_ascii_radix(src: &[u8], radix: u32) -> Result<$int_ty, ParseIntError> {
1705                use self::IntErrorKind::*;
1706                use self::ParseIntError as PIE;
1707
1708                if 2 > radix || radix > 36 {
1709                    from_ascii_radix_panic(radix);
1710                }
1711
1712                if src.is_empty() {
1713                    return Err(PIE { kind: Empty });
1714                }
1715
1716                #[allow(unused_comparisons)]
1717                let is_signed_ty = 0 > <$int_ty>::MIN;
1718
1719                let (is_positive, mut digits) = match src {
1720                    [b'+' | b'-'] => {
1721                        return Err(PIE { kind: InvalidDigit });
1722                    }
1723                    [b'+', rest @ ..] => (true, rest),
1724                    [b'-', rest @ ..] if is_signed_ty => (false, rest),
1725                    _ => (true, src),
1726                };
1727
1728                let mut result = 0;
1729
1730                macro_rules! unwrap_or_PIE {
1731                    ($option:expr, $kind:ident) => {
1732                        match $option {
1733                            Some(value) => value,
1734                            None => return Err(PIE { kind: $kind }),
1735                        }
1736                    };
1737                }
1738
1739                if can_not_overflow::<$int_ty>(radix, is_signed_ty, digits) {
1740                    // If the len of the str is short compared to the range of the type
1741                    // we are parsing into, then we can be certain that an overflow will not occur.
1742                    // This bound is when `radix.pow(digits.len()) - 1 <= T::MAX` but the condition
1743                    // above is a faster (conservative) approximation of this.
1744                    //
1745                    // Consider radix 16 as it has the highest information density per digit and will thus overflow the earliest:
1746                    // `u8::MAX` is `ff` - any str of len 2 is guaranteed to not overflow.
1747                    // `i8::MAX` is `7f` - only a str of len 1 is guaranteed to not overflow.
1748                    macro_rules! run_unchecked_loop {
1749                        ($unchecked_additive_op:tt) => {{
1750                            while let [c, rest @ ..] = digits {
1751                                result = result * (radix as $int_ty);
1752                                let x = unwrap_or_PIE!((*c as char).to_digit(radix), InvalidDigit);
1753                                result = result $unchecked_additive_op (x as $int_ty);
1754                                digits = rest;
1755                            }
1756                        }};
1757                    }
1758                    if is_positive {
1759                        run_unchecked_loop!(+)
1760                    } else {
1761                        run_unchecked_loop!(-)
1762                    };
1763                } else {
1764                    macro_rules! run_checked_loop {
1765                        ($checked_additive_op:ident, $overflow_err:ident) => {{
1766                            while let [c, rest @ ..] = digits {
1767                                // When `radix` is passed in as a literal, rather than doing a slow `imul`
1768                                // the compiler can use shifts if `radix` can be expressed as a
1769                                // sum of powers of 2 (x*10 can be written as x*8 + x*2).
1770                                // When the compiler can't use these optimisations,
1771                                // the latency of the multiplication can be hidden by issuing it
1772                                // before the result is needed to improve performance on
1773                                // modern out-of-order CPU as multiplication here is slower
1774                                // than the other instructions, we can get the end result faster
1775                                // doing multiplication first and let the CPU spends other cycles
1776                                // doing other computation and get multiplication result later.
1777                                let mul = result.checked_mul(radix as $int_ty);
1778                                let x = unwrap_or_PIE!((*c as char).to_digit(radix), InvalidDigit) as $int_ty;
1779                                result = unwrap_or_PIE!(mul, $overflow_err);
1780                                result = unwrap_or_PIE!(<$int_ty>::$checked_additive_op(result, x), $overflow_err);
1781                                digits = rest;
1782                            }
1783                        }};
1784                    }
1785                    if is_positive {
1786                        run_checked_loop!(checked_add, PosOverflow)
1787                    } else {
1788                        run_checked_loop!(checked_sub, NegOverflow)
1789                    };
1790                }
1791                Ok(result)
1792            }
1793        }
1794    )*}
1795}
1796
1797from_str_int_impl! { signed isize i8 i16 i32 i64 i128 }
1798from_str_int_impl! { unsigned usize u8 u16 u32 u64 u128 }
1799
1800macro_rules! impl_sealed {
1801    ($($t:ty)*) => {$(
1802        /// Allows extension traits within `core`.
1803        #[unstable(feature = "sealed", issue = "none")]
1804        impl crate::sealed::Sealed for $t {}
1805    )*}
1806}
1807impl_sealed! { isize i8 i16 i32 i64 i128 usize u8 u16 u32 u64 u128 }