impl-template 1.0.0-alpha

A procedural macro for generating impl-blocks based on a simple template.
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

use impl_template::impl_template;

trait GenericFoo<T> {
    fn do_something(&self) -> T;
}

struct Bar;
struct Baz;

struct Xyz;

#[impl_template]
impl GenericFoo<((Bar, Baz))> for Xyz {
    fn do_something(&self) -> __TYPE0__ {
        __TYPE0__
    }
}

fn main() {
    assert_impls_foo::<Xyz, Bar>();
    assert_impls_foo::<Xyz, Baz>();

    let _bar: Bar = Xyz.do_something();
    let _baz: Baz = Xyz.do_something();
}

fn assert_impls_foo<F: GenericFoo<T>, T>() {}