try_v2 0.9.3

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
27
28
29
30
31
32
33
34
35
36
37
38
39

#![feature(never_type)]
#![feature(try_trait_v2)]
#![feature(try_trait_v2_residual)]
#![allow(dead_code, clippy::disallowed_names)]

use std::ops::FromResidual;

use try_v2_derive::Try;

#[derive(Debug, Try)]
#[must_use]
enum Known<T> {
    Known(T),
    Unknown,
}

#[derive(Debug, Try)]
#[must_use]
enum Good<T, B> {
    Good(T),
    Bad(B),
}

impl<B, T> FromResidual<Good<!, B>> for Known<Good<T, B>> {
    fn from_residual(_residual: Good<!, B>) -> Self {
        todo!()
    }
}

fn wibble() -> Known<Good<!, i32>> {
    todo!()
}

// ?? solves the Poll<Result<!>> problem
fn wobble() -> Known<Good<i32, i32>> {
    wibble()??
}

fn main() {}