exhaust 0.2.2

Trait and derive macro for working with all possible values of a type (exhaustive enumeration).
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
40
41
42

extern crate alloc;
use alloc::borrow::Cow;

use exhaust::Exhaust;

mod helper;
use helper::{check, check_double};

/// Test for Cow<SomeTypeThatImplementsClone>
#[test]
fn impl_cow_clone() {
    check_double::<Cow<'_, bool>>(vec![Cow::Owned(false), Cow::Owned(true)]);
}

/// Test for Cow with a type that does *not* implement Clone.
/// We can't do this with the usual ones like [`str`] because they're all unbounded DSTs.
/// (So, this implementation is unlikely to be very useful, really, but we might as well.)
#[test]
fn impl_cow_non_clone() {
    #[derive(Debug, PartialEq, Exhaust)]
    struct Foo(bool);

    #[derive(Debug, PartialEq, Exhaust)]
    struct FooOwned(Foo);

    impl alloc::borrow::Borrow<Foo> for FooOwned {
        fn borrow(&self) -> &Foo {
            &self.0
        }
    }
    impl alloc::borrow::ToOwned for Foo {
        type Owned = FooOwned;
        fn to_owned(&self) -> FooOwned {
            FooOwned(Foo(self.0))
        }
    }

    check::<Cow<'_, Foo>>(vec![
        Cow::Owned(FooOwned(Foo(false))),
        Cow::Owned(FooOwned(Foo(true))),
    ]);
}