modify invariants

Author: thanhnguyen-aws

library/core/src/num/uint_macros.rs

@@ -1402,7 +1402,7 @@ macro_rules! uint_impl {
                     n = self.ilog2() / (base.ilog2() + 1);
                     r = base.pow(n);
                 }
-                #[safety::loop_invariant(base > 1 && r > 1 && n <= r)]
+                //#[safety::loop_invariant(base > 1 && r > 1 && n <= r.ilog2())]
                 while r <= self / base {
                     n += 1;
                     r *= base;