#conversion #refactoring #infallible #never-type #maintainability

unwrap-infallible

Unwrapping Result values with compile-time guarantee of infallibility

6 releases

0.1.5 Dec 16, 2019
0.1.4 Dec 11, 2019
0.1.3 Nov 9, 2019
0.1.2 Oct 31, 2019

#534 in Rust patterns

Download history 677/week @ 2022-06-06 1046/week @ 2022-06-13 1094/week @ 2022-06-20 885/week @ 2022-06-27 667/week @ 2022-07-04 633/week @ 2022-07-11 522/week @ 2022-07-18 787/week @ 2022-07-25 643/week @ 2022-08-01 957/week @ 2022-08-08 719/week @ 2022-08-15 907/week @ 2022-08-22 964/week @ 2022-08-29 1288/week @ 2022-09-05 1118/week @ 2022-09-12 1035/week @ 2022-09-19

4,460 downloads per month
Used in 2 crates

MIT/Apache

7KB
53 lines

Unwrapping Results With Compile-Time Guarantee of Infallibility

The Rust standard type Result sometimes occurs parameterized with an error type that has no possible values, such as std::convert::Infallible. Consequently, calling the unwrap method on a Result value of such a type will never panic. Therein lies a maintainability hazard: if the error parameter type is later changed to one that can represent actually occurring errors, those uses of unwrap that could previously be relied upon to be infallible, quietly become liable to panic.

To help prevent this from happening without a compile-time safeguard, this crate provides an alternative method unwrap_infallible that shall only be available for Result values with a known-impossible Err variant.

License

Licensed under either of

at your option.

Contribution

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.

No runtime deps

Features

  • blanket_impl
  • never_type
  • unstable