disjoint_impls 1.4.0

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
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150

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 u32 {
    type Group = GroupA;
}
impl Dispatch2 for u32 {
    type Group = GroupB;
}
impl Dispatch3 for u32 {
    type Group = GroupB;
}

impl Dispatch1 for i32 {
    type Group = GroupB;
}

struct Wrapper<T>(T);

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

/*
const _: () = {
    trait Wrapper0<_TŠČ2: ?core::marker::Sized, _TŠČ0, _TŠČ1> {
        const NAME_šč: &'static str;
    }
    impl<T: Dispatch1<Group = GroupB>> Wrapper0<GroupB, T, GroupB> for Wrapper<T> {
        const NAME_šč: &'static str = "Blanket B**";
    }
    trait Wrapper00<_TŠČ2: ?core::marker::Sized, _TŠČ0, _TŠČ1> {
        const NAME_šč: &'static str;
    }
    impl<
        T: Dispatch1<Group = GroupA> + Dispatch2<Group = GroupB>,
    > Wrapper00<GroupB, T, GroupB> for Wrapper<T> {
        const NAME_šč: &'static str = "Blanket AB*";
    }
    trait Wrapper000<_TŠČ2: ?core::marker::Sized, _TŠČ0, _TŠČ1> {
        const NAME_šč: &'static str;
    }
    impl<
        T: Dispatch1<Group = GroupA> + Dispatch2<Group = GroupA>
            + Dispatch3<Group = GroupA>,
    > Wrapper000<GroupA, T, GroupA> for Wrapper<T> {
        const NAME_šč: &'static str = "Blanket AAA";
    }
    impl<
        T: Dispatch1<Group = GroupA> + Dispatch2<Group = GroupA>
            + Dispatch3<Group = GroupB>,
    > Wrapper000<GroupB, T, GroupB> for Wrapper<T> {
        const NAME_šč: &'static str = "Blanket AAB";
    }
    impl<_TŠČ0, _TŠČ1> Wrapper00<GroupA, _TŠČ0, GroupA> for Wrapper<_TŠČ0>
    where
        _TŠČ0: Dispatch3<Group = _TŠČ1>,
        Self: for<'_dšč> Wrapper000<_TŠČ1, _TŠČ0, _TŠČ1>,
    {
        const NAME_šč: &'static str = <Self as Wrapper000<
            _TŠČ1,
            _TŠČ0,
            _TŠČ1,
        >>::NAME_šč;
    }
    impl<_TŠČ0, _TŠČ1> Wrapper0<GroupA, _TŠČ0, GroupA> for Wrapper<_TŠČ0>
    where
        _TŠČ0: Dispatch2<Group = _TŠČ1>,
        Self: for<'_dšč> Wrapper00<_TŠČ1, _TŠČ0, _TŠČ1>,
    {
        const NAME_šč: &'static str = <Self as Wrapper00<
            _TŠČ1,
            _TŠČ0,
            _TŠČ1,
        >>::NAME_šč;
    }
    impl<_TŠČ0, _TŠČ1> Wrapper<_TŠČ0>
    where
        _TŠČ0: Dispatch1<Group = _TŠČ1>,
        Self: for<'_dšč> Wrapper0<_TŠČ1, _TŠČ0, _TŠČ1>,
    {
        const NAME: &'static str = <Self as Wrapper0<
            _TŠČ1,
            _TŠČ0,
            _TŠČ1,
        >>::NAME_šč;
    }
};
*/

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