disjoint_impls 1.3.9

Support for mutually disjoint impls
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
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135

use disjoint_impls::disjoint_impls;

pub trait Dispatch1 {
    type Group;
}
pub trait Dispatch2 {
    type Group;
}
pub trait Dispatch3 {
    type Group;
}

pub enum GroupA {}
pub enum GroupB {}

impl Dispatch1 for String {
    type Group = GroupA;
}
impl Dispatch2 for String {
    type Group = GroupA;
}
impl Dispatch3 for String {
    type Group = GroupA;
}

impl Dispatch1 for Vec<u32> {
    type Group = GroupA;
}
impl Dispatch2 for Vec<u32> {
    type Group = GroupA;
}
impl Dispatch3 for Vec<u32> {
    type Group = GroupB;
}

impl Dispatch1 for Vec<i32> {
    type Group = GroupA;
}
impl Dispatch2 for Vec<i32> {
    type Group = GroupB;
}
impl Dispatch3 for Vec<i32> {
    type Group = GroupA;
}

impl Dispatch1 for i32 {
    type Group = GroupB;
}

disjoint_impls! {
    pub trait Kita<A> {
        const NAME: &'static str;
    }

    impl<T: Dispatch1<Group = GroupA> + Dispatch2<Group = GroupA> + Dispatch3<Group = GroupA>> Kita<u32> for T {
        const NAME: &'static str = "Blanket AAA";
    }
    impl<T: Dispatch1<Group = GroupA> + Dispatch2<Group = GroupA> + Dispatch3<Group = GroupB>> Kita<u32> for T {
        const NAME: &'static str = "Blanket AAB";
    }
    impl<T: Dispatch1<Group = GroupA> + Dispatch2<Group = GroupB>> Kita<u32> for T {
        const NAME: &'static str = "Blanket AB*";
    }
    impl<T: Dispatch1<Group = GroupB>> Kita<u32> for T {
        const NAME: &'static str = "Blanket B**";
    }
}

/*
pub trait Kita<A> {
    const NAME: &'static str;
}

const _: () = {
    pub trait Kita0<_TŠČ1: ?Sized, _TŠČ0>: Kita<_TŠČ0> {
        const NAME_šč: &'static str;
    }
    impl<T: Dispatch1<Group = GroupB>> Kita0<GroupB, u32> for T {
        const NAME_šč: &'static str = "Blanket B**";
    }
    pub trait Kita00<_TŠČ1: ?Sized, _TŠČ0>: Kita<_TŠČ0> {
        const NAME_šč: &'static str;
    }
    impl<T: Dispatch1<Group = GroupA> + Dispatch2<Group = GroupB>> Kita00<GroupB, u32> for T {
        const NAME_šč: &'static str = "Blanket AB*";
    }
    pub trait Kita000<_TŠČ1: ?Sized, _TŠČ0>: Kita<_TŠČ0> {
        const NAME_šč: &'static str;
    }
    impl<T: Dispatch1<Group = GroupA> + Dispatch2<Group = GroupA> + Dispatch3<Group = GroupA>>
        Kita000<GroupA, u32> for T
    {
        const NAME_šč: &'static str = "Blanket AAA";
    }
    impl<T: Dispatch1<Group = GroupA> + Dispatch2<Group = GroupA> + Dispatch3<Group = GroupB>>
        Kita000<GroupB, u32> for T
    {
        const NAME_šč: &'static str = "Blanket AAB";
    }
    impl<_TŠČ0> Kita00<GroupA, u32> for _TŠČ0
    where
        _TŠČ0: Dispatch3,
        Self: for<'_dšč> Kita000<<_TŠČ0 as Dispatch3>::Group, u32>,

    {
        const NAME_šč: &'static str =
            <Self as Kita000<<_TŠČ0 as Dispatch3>::Group, u32>>::NAME_šč;
    }
    impl<_TŠČ0> Kita0<GroupA, u32> for _TŠČ0
    where
        _TŠČ0: Dispatch2,
        Self: for<'_dšč> Kita00<<_TŠČ0 as Dispatch2>::Group, u32>,

    {
        const NAME_šč: &'static str =
            <Self as Kita00<<_TŠČ0 as Dispatch2>::Group, u32>>::NAME_šč;
    }
    impl<_TŠČ0> Kita<u32> for _TŠČ0
    where
        _TŠČ0: Dispatch1,
        Self: for<'_dšč> Kita0<<_TŠČ0 as Dispatch1>::Group, u32>,

    {
        const NAME: &'static str = <Self as Kita0<<_TŠČ0 as Dispatch1>::Group, u32>>::NAME_šč;
    }
};
*/

#[test]
fn nested_subgroups() {
    assert_eq!("Blanket AAA", String::NAME);
    assert_eq!("Blanket AAB", Vec::<u32>::NAME);
    assert_eq!("Blanket AB*", Vec::<i32>::NAME);
    assert_eq!("Blanket B**", i32::NAME);
}