Use CURRENT_RUSTC_VERSION · model-checking/verify-rust-std@0342284 (original) (raw)

`@@ -1068,7 +1068,7 @@ impl Duration {

`

1068

1068

`/// let dur2 = Duration::new(5, 400_000_000);

`

1069

1069

`/// assert_eq!(dur1.div_duration_f64(dur2), 0.5);

`

1070

1070

```` /// ```


`1071`

``

`-

#[stable(feature = "div_duration", since = "1.80.0")]

`

``

`1071`

`+

#[stable(feature = "div_duration", since = "CURRENT_RUSTC_VERSION")]

`

`1072`

`1072`

`#[must_use = "this returns the result of the operation, \

`

`1073`

`1073`

` without modifying the original"]

`

`1074`

`1074`

`#[inline]

`

`@@ -1087,7 +1087,7 @@ impl Duration {

`

`1087`

`1087`

`/// let dur2 = Duration::new(5, 400_000_000);

`

`1088`

`1088`

`/// assert_eq!(dur1.div_duration_f32(dur2), 0.5);

`

`1089`

`1089`

```` /// ```

1090

``

`-

#[stable(feature = "div_duration", since = "1.80.0")]

`

``

1090

`+

#[stable(feature = "div_duration", since = "CURRENT_RUSTC_VERSION")]

`

1091

1091

`#[must_use = "this returns the result of the operation, \

`

1092

1092

` without modifying the original"]

`

1093

1093

`#[inline]

`