Description

This library enables you to write certain types of disjoint impls that Rust compiler doesn't (yet?) allow. Namely, disjoint impls where a type is bounded by an associated type. One would expect the following syntax to compile without the need to invoke disjoint_impls!, but it doesn't:

```rs use disjointimpls::disjointimpls;

pub trait Dispatch { type Group; }

pub enum GroupA {} impl Dispatch for String { type Group = GroupA; }

pub enum GroupB {} impl Dispatch for i32 { type Group = GroupB; }

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

impl<T: Dispatch<Group = GroupA>> Kita for T {
    const NAME: &'static str = "Blanket A";
}
impl<U: Dispatch<Group = GroupB>> Kita for U {
    const NAME: &'static str = "Blanket B";
}

} ```

Other much more complex examples can be found in tests