Fix wording in {checked_}next_power_of_two · model-checking/verify-rust-std@fa2a54a (original) (raw)

2 files changed

lines changed

Original file line number Diff line number Diff line change
@@ -1059,7 +1059,7 @@ macro_rules! nonzero_integer_signedness_dependent_methods {
1059 1059 unsafe { Self::new_unchecked(self.get().unchecked_add(other)) }
1060 1060 }
1061 1061
1062 -/// Returns the smallest power of two greater than or equal to n.
1062 +/// Returns the smallest power of two greater than or equal to `self`.
1063 1063 /// Checks for overflow and returns [`None`]
1064 1064 /// if the next power of two is greater than the type’s maximum value.
1065 1065 /// As a consequence, the result cannot wrap to zero.
Original file line number Diff line number Diff line change
@@ -2830,7 +2830,7 @@ macro_rules! uint_impl {
2830 2830 ///
2831 2831 /// When return value overflows (i.e., `self > (1 << (N-1))` for type
2832 2832 /// `uN`), it panics in debug mode and the return value is wrapped to 0 in
2833 - /// release mode (the only situation in which method can return 0).
2833 + /// release mode (the only situation in which this method can return 0).
2834 2834 ///
2835 2835 /// # Examples
2836 2836 ///
@@ -2851,7 +2851,7 @@ macro_rules! uint_impl {
2851 2851 self.one_less_than_next_power_of_two() + 1
2852 2852 }
2853 2853
2854 -/// Returns the smallest power of two greater than or equal to `n`. If
2854 +/// Returns the smallest power of two greater than or equal to `self`. If
2855 2855 /// the next power of two is greater than the type's maximum value,
2856 2856 /// `None` is returned, otherwise the power of two is wrapped in `Some`.
2857 2857 ///