batch-impl 0.7.2

A proc-macro library for batch generating trait impls with a powerful DSL
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

// Error: renaming/reference checks for inherited where predicates
// 1. `T: IntoIterator` merges into a bound; renaming to `<X>` → bound renaming error
// 2. lifetime predicate `'a: 'b` passes through; the impl does not declare 'a → predicate reference error
use batch_impl::batch_impl;

#[batch_impl(<X> A<X> ())]
trait A<T>
where
    T: IntoIterator,
    T::Item: Clone,
{
}

#[batch_impl(<'x> B<'x, 'static> ())]
trait B<'a, 'b>
where
    'a: 'b,
{
}

fn main() {}