Remove redundant precondition

If `base >= 2 && x >= base`, then `x >= 2`, which satisfies `x >= 1`.

Author: ChaiTRex

library/core/src/num/uint_macros.rs

@@ -1494,8 +1494,7 @@ macro_rules! uint_impl {
             // Preconditions for calling inner function `slow_ilog`:
             //
             // 1: base >= 2
-            // 2: x >= 1
-            // 3: x >= base
+            // 2: x >= base
             #[inline(always)]
             const fn slow_ilog(x: $SelfT, base: $SelfT) -> u32 {
                 // Since x >= base, n >= 1
@@ -1524,12 +1523,12 @@ macro_rules! uint_impl {
             }
 
             if core::intrinsics::is_val_statically_known(self) {
-                if self <= 0 { // precondition 2
+                if self <= 0 {
                     None
                 } else if core::intrinsics::is_val_statically_known(base) {
                     if base <= 1 { // precondition 1
                         None
-                    } else if self < base { // precondition 3
+                    } else if self < base { // precondition 2
                         Some(0)
                     } else if base == 2 {
                         self.checked_ilog2()
@@ -1540,7 +1539,7 @@ macro_rules! uint_impl {
                     }
                 } else if base <= 1 { // precondition 1
                     None
-                } else if self < base { // precondition 3
+                } else if self < base { // precondition 2
                     Some(0)
                 } else { // all preconditions satisfied
                     Some(slow_ilog(self, base))
@@ -1552,16 +1551,16 @@ macro_rules! uint_impl {
                     self.checked_ilog2()
                 } else if base == 10 {
                     self.checked_ilog10()
-                } else if self <= 0 { // precondition 2
+                } else if self <= 0 {
                     None
-                } else if self < base { // precondition 3
+                } else if self < base { // precondition 2
                     Some(0)
                 } else { // all preconditions satisfied
                     Some(slow_ilog(self, base))
                 }
-            } else if self <= 0 || base <= 1 { // preconditions 1 and 2
+            } else if self <= 0 || base <= 1 { // precondition 1
                 None
-            } else if self < base { // precondition 3
+            } else if self < base { // precondition 2
                 Some(0)
             } else { // all preconditions satisfied
                 Some(slow_ilog(self, base))