dope-core 0.15.0

The manifold runtime
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

use std::convert;

use crate::driver::storage;

pub trait Never: storage::Impossible {
    fn never<T>(self) -> T;
}

impl Never for convert::Infallible {
    fn never<T>(self) -> T {
        match self {}
    }
}

impl<A: Never, B: Never> Never for storage::PairError<A, B> {
    fn never<T>(self) -> T {
        match self {
            Self::First(error) => error.never(),
            Self::Second(error) => error.never(),
        }
    }
}