correct for copy paste errors when fixing wrapping. · model-checking/verify-rust-std@65726c0 (original) (raw)

`@@ -13,7 +13,7 @@

`

13

13

`//! }

`

14

14

```` //! ```


`15`

`15`

`//!

`

`16`

``

`` -

//! Functions return [`Result`] whenever errors are expected and recoverable. In

``

``

`16`

`` +

//! Functions return [`Result`] whenever errors are expected and

``

`17`

`17`

`` //! recoverable. In the `std` crate, [`Result`] is most prominently used

``

`18`

`18`

`//! for [I/O](../../std/io/index.html).

`

`19`

`19`

`//!

`

`@@ -40,7 +40,7 @@

`

`40`

`40`

`//! }

`

`41`

`41`

```` //! ```

42

42

`//!

`

43

``

`` -

//! Pattern matching on [Result]s is clear and straightforward for simple

``

``

43

`` +

//! Pattern matching on [Result]s is clear and straightforward for

``

44

44

`` //! simple cases, but [Result] comes with some convenience methods

``

45

45

`//! that make working with it more succinct.

`

46

46

`//!

`

247

247

`//!

`

248

248

`//! # Method overview

`

249

249

`//!

`

250

``

`` -

//! In addition to working with pattern matching, [Result] provides a wide

``

251

``

`-

//! variety of different methods.

`

``

250

`` +

//! In addition to working with pattern matching, [Result] provides a

``

``

251

`+

//! wide variety of different methods.

`

252

252

`//!

`

253

253

`//! ## Querying the variant

`

254

254

`//!

`

255

``

`` -

//! In addition to working with pattern matching, [Result] provides a

``

256

``

`-

//! wide variety of different methods.

`

``

255

`` +

//! The [is_ok] and [is_err] methods return [true] if the [Result]

``

``

256

`` +

//! is [Ok] or [Err], respectively.

``

257

257

`//!

`

258

258

`` //! [is_err]: Result::is_err

``

259

259

`` //! [is_ok]: Result::is_ok

``