stabilize is_sorted · model-checking/verify-rust-std@fcbdcae (original) (raw)
`@@ -3951,16 +3951,14 @@ pub trait Iterator {
`
3951
3951
`/// # Examples
`
3952
3952
`///
`
3953
3953
```` /// ```
`3954`
``
`-
/// #![feature(is_sorted)]
`
`3955`
``
`-
///
`
`3956`
`3954`
`/// assert!([1, 2, 2, 9].iter().is_sorted());
`
`3957`
`3955`
`/// assert!(![1, 3, 2, 4].iter().is_sorted());
`
`3958`
`3956`
`/// assert!([0].iter().is_sorted());
`
`3959`
`3957`
`/// assert!(std::iter::empty::<i32>().is_sorted());
`
`3960`
`3958`
`/// assert!(![0.0, 1.0, f32::NAN].iter().is_sorted());
`
`3961`
`3959`
```` /// ```
3962
3960
`#[inline]
`
3963
``
`-
#[unstable(feature = "is_sorted", reason = "new API", issue = "53485")]
`
``
3961
`+
#[stable(feature = "is_sorted", since = "CURRENT_RUSTC_VERSION")]
`
3964
3962
`#[rustc_do_not_const_check]
`
3965
3963
`fn is_sorted(self) -> bool
`
3966
3964
`where
`
`@@ -3978,8 +3976,6 @@ pub trait Iterator {
`
3978
3976
`/// # Examples
`
3979
3977
`///
`
3980
3978
```` /// ```
`3981`
``
`-
/// #![feature(is_sorted)]
`
`3982`
``
`-
///
`
`3983`
`3979`
`/// assert!([1, 2, 2, 9].iter().is_sorted_by(|a, b| a <= b));
`
`3984`
`3980`
`/// assert!(![1, 2, 2, 9].iter().is_sorted_by(|a, b| a < b));
`
`3985`
`3981`
`///
`
`@@ -3989,7 +3985,7 @@ pub trait Iterator {
`
`3989`
`3985`
`/// assert!(std::iter::empty::<i32>().is_sorted_by(|a, b| false));
`
`3990`
`3986`
`/// assert!(std::iter::empty::<i32>().is_sorted_by(|a, b| true));
`
`3991`
`3987`
```` /// ```
3992
``
`-
#[unstable(feature = "is_sorted", reason = "new API", issue = "53485")]
`
``
3988
`+
#[stable(feature = "is_sorted", since = "CURRENT_RUSTC_VERSION")]
`
3993
3989
`#[rustc_do_not_const_check]
`
3994
3990
`fn is_sorted_by(mut self, compare: F) -> bool
`
3995
3991
`where
`
`@@ -4030,13 +4026,11 @@ pub trait Iterator {
`
4030
4026
`/// # Examples
`
4031
4027
`///
`
4032
4028
```` /// ```
`4033`
``
`-
/// #![feature(is_sorted)]
`
`4034`
``
`-
///
`
`4035`
`4029`
`/// assert!(["c", "bb", "aaa"].iter().is_sorted_by_key(|s| s.len()));
`
`4036`
`4030`
`/// assert!(![-2i32, -1, 0, 3].iter().is_sorted_by_key(|n| n.abs()));
`
`4037`
`4031`
```` /// ```
4038
4032
`#[inline]
`
4039
``
`-
#[unstable(feature = "is_sorted", reason = "new API", issue = "53485")]
`
``
4033
`+
#[stable(feature = "is_sorted", since = "CURRENT_RUSTC_VERSION")]
`
4040
4034
`#[rustc_do_not_const_check]
`
4041
4035
`fn is_sorted_by_key<F, K>(self, f: F) -> bool
`
4042
4036
`where
`