Add a reference to ilog2 in leading_zeros integer docs

Asked in #104248

library/core/src/num/int_macros.rs

@@ -107,6 +107,10 @@ macro_rules! int_impl {
 
         /// Returns the number of leading zeros in the binary representation of `self`.
         ///
+        /// The
+        #[doc = concat!("[`", stringify!($SelfTy), "::ilog2()`]")]
+        /// function returns a consistent number, even if the type widens.
+        ///
         /// # Examples
         ///
         /// Basic usage:

library/core/src/num/uint_macros.rs

@@ -109,6 +109,10 @@ macro_rules! uint_impl {
 
         /// Returns the number of leading zeros in the binary representation of `self`.
         ///
+        /// The
+        #[doc = concat!("[`", stringify!($SelfTy), "::ilog2()`]")]
+        /// function returns a consistent number, even if the type widens.
+        ///
         /// # Examples
         ///
         /// Basic usage:

src/etc/pre-push.sh

@@ -12,11 +12,9 @@ unset GIT_DIR
 ROOT_DIR="$(git rev-parse --show-toplevel)"
 COMMAND="$ROOT_DIR/x.py test tidy"
 
-if [[ "$OSTYPE" == "msys" || "$OSTYPE" == "win32" ]]; then
-  COMMAND="python $COMMAND"
-elif ! command -v python &> /dev/null; then
-  COMMAND="python3 $COMMAND"
-fi
+
+COMMAND="python3.10 $COMMAND"
+
 
 echo "Running pre-push script '$COMMAND'"