try_v2 0.9.2

Provides a derive macro & helper traits for `Try`
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

#![feature(never_type)]
#![allow(dead_code)]

enum ValidatedBox<T> {
    ValidValue(Box<T>),
    InvalidValue,
}

fn main() {
    use ValidatedBox::{InvalidValue, ValidValue};

    let x: ValidatedBox<!> = InvalidValue;
    let mut y = 0;

    y += match x {
        InvalidValue => 1,
        ValidValue(_) => unreachable!("no way to construct a Box<!>"),
    };

    y += match x {
        InvalidValue => 1,
        ValidValue(b) => match *b {},
    };

    assert_eq!(y, 2);
}