Rollup merge of #125951 - slanterns:error_in_core_stabilization, r=Am… · model-checking/verify-rust-std@397e9cb (original) (raw)

1

1

`#![doc = include_str!("error.md")]

`

2

``

`-

#![unstable(feature = "error_in_core", issue = "103765")]

`

``

2

`+

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

`

3

3

``

4

4

`#[cfg(test)]

`

5

5

`mod tests;

`

`@@ -130,7 +130,6 @@ pub trait Error: Debug + Display {

`

130

130

`///

`

131

131

```` /// ```rust


`132`

`132`

`/// #![feature(error_generic_member_access)]

`

`133`

``

`-

/// #![feature(error_in_core)]

`

`134`

`133`

`/// use core::fmt;

`

`135`

`134`

`/// use core::error::{request_ref, Request};

`

`136`

`135`

`///

`

`@@ -361,8 +360,7 @@ impl dyn Error {

`

`361`

`360`

`/// Get a string value from an error.

`

`362`

`361`

`///

`

`363`

`362`

```` /// ```rust

364

``

`-

/// # #![feature(error_generic_member_access)]

`

365

``

`-

/// # #![feature(error_in_core)]

`

``

363

`+

/// #![feature(error_generic_member_access)]

`

366

364

`/// use std::error::Error;

`

367

365

`/// use core::error::request_value;

`

368

366

`///

`

`@@ -385,8 +383,7 @@ where

`

385

383

`/// Get a string reference from an error.

`

386

384

`///

`

387

385

```` /// ```rust


`388`

``

`-

/// # #![feature(error_generic_member_access)]

`

`389`

``

`-

/// # #![feature(error_in_core)]

`

``

`386`

`+

/// #![feature(error_generic_member_access)]

`

`390`

`387`

`/// use core::error::Error;

`

`391`

`388`

`/// use core::error::request_ref;

`

`392`

`389`

`///

`

`@@ -458,7 +455,6 @@ where

`

`458`

`455`

`///

`

`459`

`456`

```` /// ```

460

457

`/// #![feature(error_generic_member_access)]

`

461

``

`-

/// #![feature(error_in_core)]

`

462

458

`/// use core::fmt;

`

463

459

`/// use core::error::Request;

`

464

460

`/// use core::error::request_ref;

`

`@@ -529,7 +525,6 @@ impl<'a> Request<'a> {

`

529

525

`///

`

530

526

```` /// ```rust


`531`

`527`

`/// #![feature(error_generic_member_access)]

`

`532`

``

`-

/// #![feature(error_in_core)]

`

`533`

`528`

`///

`

`534`

`529`

`/// use core::error::Request;

`

`535`

`530`

`///

`

`@@ -564,7 +559,6 @@ impl<'a> Request<'a> {

`

`564`

`559`

`///

`

`565`

`560`

```` /// ```rust

566

561

`/// #![feature(error_generic_member_access)]

`

567

``

`-

/// #![feature(error_in_core)]

`

568

562

`///

`

569

563

`/// use core::error::Request;

`

570

564

`///

`

`@@ -600,7 +594,6 @@ impl<'a> Request<'a> {

`

600

594

`///

`

601

595

```` /// ```rust


`602`

`596`

`/// #![feature(error_generic_member_access)]

`

`603`

``

`-

/// #![feature(error_in_core)]

`

`604`

`597`

`///

`

`605`

`598`

`/// use core::error::Request;

`

`606`

`599`

`///

`

`@@ -633,7 +626,6 @@ impl<'a> Request<'a> {

`

`633`

`626`

`///

`

`634`

`627`

```` /// ```rust

635

628

`/// #![feature(error_generic_member_access)]

`

636

``

`-

/// #![feature(error_in_core)]

`

637

629

`///

`

638

630

`/// use core::error::Request;

`

639

631

`///

`

`@@ -700,7 +692,6 @@ impl<'a> Request<'a> {

`

700

692

`///

`

701

693

```` /// ```rust


`702`

`694`

`/// #![feature(error_generic_member_access)]

`

`703`

``

`-

/// #![feature(error_in_core)]

`

`704`

`695`

`///

`

`705`

`696`

`/// use core::error::Request;

`

`706`

`697`

`/// use core::error::request_value;

`

`@@ -788,7 +779,6 @@ impl<'a> Request<'a> {

`

`788`

`779`

`///

`

`789`

`780`

```` /// ```rust

790

781

`/// #![feature(error_generic_member_access)]

`

791

``

`-

/// #![feature(error_in_core)]

`

792

782

`///

`

793

783

`/// use core::error::Request;

`

794

784

`/// use core::error::request_ref;

`