replace version placeholder · model-checking/verify-rust-std@a2ff49b (original) (raw)

`@@ -2123,23 +2123,23 @@ impl FromIterator for Box<[I]> {

`

2123

2123

``

2124

2124

`` /// This implementation is required to make sure that the Box<[I]>: IntoIterator

``

2125

2125

`` /// implementation doesn't overlap with IntoIterator for T where T: Iterator blanket.

``

2126

``

`-

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

`

``

2126

`+

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

`

2127

2127

`impl<I, A: Allocator> !Iterator for Box<[I], A> {}

`

2128

2128

``

2129

2129

`` /// This implementation is required to make sure that the &Box<[I]>: IntoIterator

``

2130

2130

`` /// implementation doesn't overlap with IntoIterator for T where T: Iterator blanket.

``

2131

``

`-

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

`

``

2131

`+

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

`

2132

2132

`impl<'a, I, A: Allocator> !Iterator for &'a Box<[I], A> {}

`

2133

2133

``

2134

2134

`` /// This implementation is required to make sure that the &mut Box<[I]>: IntoIterator

``

2135

2135

`` /// implementation doesn't overlap with IntoIterator for T where T: Iterator blanket.

``

2136

``

`-

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

`

``

2136

`+

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

`

2137

2137

`impl<'a, I, A: Allocator> !Iterator for &'a mut Box<[I], A> {}

`

2138

2138

``

2139

2139

`` // Note: the #[rustc_skip_during_method_dispatch(boxed_slice)] on trait IntoIterator

``

2140

2140

`` // hides this implementation from explicit .into_iter() calls on editions < 2024,

``

2141

2141

`// so those calls will still resolve to the slice implementation, by reference.

`

2142

``

`-

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

`

``

2142

`+

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

`

2143

2143

`impl<I, A: Allocator> IntoIterator for Box<[I], A> {

`

2144

2144

`type IntoIter = vec::IntoIter<I, A>;

`

2145

2145

`type Item = I;

`

`@@ -2148,7 +2148,7 @@ impl<I, A: Allocator> IntoIterator for Box<[I], A> {

`

2148

2148

`}

`

2149

2149

`}

`

2150

2150

``

2151

``

`-

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

`

``

2151

`+

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

`

2152

2152

`impl<'a, I, A: Allocator> IntoIterator for &'a Box<[I], A> {

`

2153

2153

`type IntoIter = slice::Iter<'a, I>;

`

2154

2154

`type Item = &'a I;

`

`@@ -2157,7 +2157,7 @@ impl<'a, I, A: Allocator> IntoIterator for &'a Box<[I], A> {

`

2157

2157

`}

`

2158

2158

`}

`

2159

2159

``

2160

``

`-

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

`

``

2160

`+

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

`

2161

2161

`impl<'a, I, A: Allocator> IntoIterator for &'a mut Box<[I], A> {

`

2162

2162

`type IntoIter = slice::IterMut<'a, I>;

`

2163

2163

`type Item = &'a mut I;

`

`@@ -2167,47 +2167,47 @@ impl<'a, I, A: Allocator> IntoIterator for &'a mut Box<[I], A> {

`

2167

2167

`}

`

2168

2168

``

2169

2169

`#[cfg(not(no_global_oom_handling))]

`

2170

``

`-

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

`

``

2170

`+

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

`

2171

2171

`impl FromIterator for Box {

`

2172

2172

`fn from_iter<T: IntoIterator<Item = char>>(iter: T) -> Self {

`

2173

2173

`String::from_iter(iter).into_boxed_str()

`

2174

2174

`}

`

2175

2175

`}

`

2176

2176

``

2177

2177

`#[cfg(not(no_global_oom_handling))]

`

2178

``

`-

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

`

``

2178

`+

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

`

2179

2179

`impl<'a> FromIterator<&'a char> for Box {

`

2180

2180

`fn from_iter<T: IntoIterator<Item = &'a char>>(iter: T) -> Self {

`

2181

2181

`String::from_iter(iter).into_boxed_str()

`

2182

2182

`}

`

2183

2183

`}

`

2184

2184

``

2185

2185

`#[cfg(not(no_global_oom_handling))]

`

2186

``

`-

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

`

``

2186

`+

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

`

2187

2187

`impl<'a> FromIterator<&'a str> for Box {

`

2188

2188

`fn from_iter<T: IntoIterator<Item = &'a str>>(iter: T) -> Self {

`

2189

2189

`String::from_iter(iter).into_boxed_str()

`

2190

2190

`}

`

2191

2191

`}

`

2192

2192

``

2193

2193

`#[cfg(not(no_global_oom_handling))]

`

2194

``

`-

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

`

``

2194

`+

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

`

2195

2195

`impl FromIterator for Box {

`

2196

2196

`fn from_iter<T: IntoIterator<Item = String>>(iter: T) -> Self {

`

2197

2197

`String::from_iter(iter).into_boxed_str()

`

2198

2198

`}

`

2199

2199

`}

`

2200

2200

``

2201

2201

`#[cfg(not(no_global_oom_handling))]

`

2202

``

`-

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

`

``

2202

`+

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

`

2203

2203

`impl<A: Allocator> FromIterator<Box<str, A>> for Box {

`

2204

2204

`fn from_iter<T: IntoIterator<Item = Box<str, A>>>(iter: T) -> Self {

`

2205

2205

`String::from_iter(iter).into_boxed_str()

`

2206

2206

`}

`

2207

2207

`}

`

2208

2208

``

2209

2209

`#[cfg(not(no_global_oom_handling))]

`

2210

``

`-

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

`

``

2210

`+

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

`

2211

2211

`impl<'a> FromIterator<Cow<'a, str>> for Box {

`

2212

2212

`fn from_iter<T: IntoIterator<Item = Cow<'a, str>>>(iter: T) -> Self {

`

2213

2213

`String::from_iter(iter).into_boxed_str()

`