named-generics-bundle 0.1.1

Convenience macros to help with the "bundle multiple generic params with a helper trait" pattern
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

#[::named_generics_bundle::named_generics_bundle]
/// Outer.
trait MyBundle : 'static {
    //! Inner.
    type A: Iterator;
    type B: ::core::fmt::Display;
}

#[derive(Clone, Copy, Debug, PartialEq, Eq, PartialOrd, Ord, ::core::hash::Hash)]
struct S<P: MyBundle>(
    ::core::marker::PhantomData<P>,
);

fn demo<P: MyBundle>(
    s: S<P>,
    a: P::A,
    b: P::B,
) -> impl 'static + Copy + ::core::fmt::Debug + ::core::cmp::Ord + ::core::hash::Hash {
    eprintln!("{b}");
    for _ in a {}
    s
}

#[test]
fn main() {
    _ = demo::<MyBundle![
        A = ::core::iter::Empty<()>,
        B = String,
    ]>;
}