Rollup merge of #127661 - eduardosm:stabilize-io_slice_advance, r=cuv… · model-checking/verify-rust-std@1e49e05 (original) (raw)

`@@ -1256,8 +1256,6 @@ impl<'a> IoSliceMut<'a> {

`

1256

1256

`/// # Examples

`

1257

1257

`///

`

1258

1258

```` /// ```


`1259`

``

`-

/// #![feature(io_slice_advance)]

`

`1260`

``

`-

///

`

`1261`

`1259`

`/// use std::io::IoSliceMut;

`

`1262`

`1260`

`/// use std::ops::Deref;

`

`1263`

`1261`

`///

`

`@@ -1268,7 +1266,7 @@ impl<'a> IoSliceMut<'a> {

`

`1268`

`1266`

`/// buf.advance(3);

`

`1269`

`1267`

`/// assert_eq!(buf.deref(), [1; 5].as_ref());

`

`1270`

`1268`

```` /// ```

1271

``

`-

#[unstable(feature = "io_slice_advance", issue = "62726")]

`

``

1269

`+

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

`

1272

1270

`#[inline]

`

1273

1271

`pub fn advance(&mut self, n: usize) {

`

1274

1272

`self.0.advance(n)

`

`@@ -1290,8 +1288,6 @@ impl<'a> IoSliceMut<'a> {

`

1290

1288

`/// # Examples

`

1291

1289

`///

`

1292

1290

```` /// ```


`1293`

``

`-

/// #![feature(io_slice_advance)]

`

`1294`

``

`-

///

`

`1295`

`1291`

`/// use std::io::IoSliceMut;

`

`1296`

`1292`

`/// use std::ops::Deref;

`

`1297`

`1293`

`///

`

`@@ -1309,7 +1305,7 @@ impl<'a> IoSliceMut<'a> {

`

`1309`

`1305`

`/// assert_eq!(bufs[0].deref(), [2; 14].as_ref());

`

`1310`

`1306`

`/// assert_eq!(bufs[1].deref(), [3; 8].as_ref());

`

`1311`

`1307`

```` /// ```

1312

``

`-

#[unstable(feature = "io_slice_advance", issue = "62726")]

`

``

1308

`+

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

`

1313

1309

`#[inline]

`

1314

1310

`pub fn advance_slices(bufs: &mut &mut [IoSliceMut<'a>], n: usize) {

`

1315

1311

`// Number of buffers to remove.

`

`@@ -1400,8 +1396,6 @@ impl<'a> IoSlice<'a> {

`

1400

1396

`/// # Examples

`

1401

1397

`///

`

1402

1398

```` /// ```


`1403`

``

`-

/// #![feature(io_slice_advance)]

`

`1404`

``

`-

///

`

`1405`

`1399`

`/// use std::io::IoSlice;

`

`1406`

`1400`

`/// use std::ops::Deref;

`

`1407`

`1401`

`///

`

`@@ -1412,7 +1406,7 @@ impl<'a> IoSlice<'a> {

`

`1412`

`1406`

`/// buf.advance(3);

`

`1413`

`1407`

`/// assert_eq!(buf.deref(), [1; 5].as_ref());

`

`1414`

`1408`

```` /// ```

1415

``

`-

#[unstable(feature = "io_slice_advance", issue = "62726")]

`

``

1409

`+

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

`

1416

1410

`#[inline]

`

1417

1411

`pub fn advance(&mut self, n: usize) {

`

1418

1412

`self.0.advance(n)

`

`@@ -1434,8 +1428,6 @@ impl<'a> IoSlice<'a> {

`

1434

1428

`/// # Examples

`

1435

1429

`///

`

1436

1430

```` /// ```

````

1437

``

`-

/// #![feature(io_slice_advance)]

`

1438

``

`-

///

`

1439

1431

`/// use std::io::IoSlice;

`

1440

1432

`/// use std::ops::Deref;

`

1441

1433

`///

`

`@@ -1452,7 +1444,7 @@ impl<'a> IoSlice<'a> {

`

1452

1444

`/// IoSlice::advance_slices(&mut bufs, 10);

`

1453

1445

`/// assert_eq!(bufs[0].deref(), [2; 14].as_ref());

`

1454

1446

`/// assert_eq!(bufs[1].deref(), [3; 8].as_ref());

`

1455

``

`-

#[unstable(feature = "io_slice_advance", issue = "62726")]

`

``

1447

`+

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

`

1456

1448

`#[inline]

`

1457

1449

`pub fn advance_slices(bufs: &mut &mut [IoSlice<'a>], n: usize) {

`

1458

1450

`// Number of buffers to remove.

`