use impl_template::impl_template;

trait Foo {}

mod types {
    pub struct Bar;
    pub struct Baz;
}

#[impl_template]
impl Foo for ((types::Bar, types::Baz)) {}

fn main() {
    assert_impls_foo::<types::Bar>();
    assert_impls_foo::<types::Baz>();
}

fn assert_impls_foo<F: Foo>() {}