Objective

When writing macros that blanket-implement traits over tuples, it is often necessary to index into anonymous tuple struct fields. This turns out to be somewhat annoying, since it requires the indices to be passed sequentially in the macro invocation, which prevents the macro from being used with all_tuples.

The goal here is to provide support for this pattern by introducing an enumerating version of all_tuples that can be used in these circumstances.

Solution

Create all_tuples_enumerated, a procedural macro which behaves much like all_tuples but enumerates its output. Here is an example from the docs:

trait Squawk {
    fn squawk(&self);
}

// If every type in a tuple is `Squawk`, the tuple can squawk by having its
// constituents squawk sequentially:
macro_rules! impl_squawk {
    ($(($n:tt, $T:ident)),*) => {
        impl<$($T: Squawk),*> Squawk for ($($T,)*) {
            fn squawk(&self) {
                $(
                    self.$n.squawk();
                )*
            }
        }
    };
}

all_tuples_enumerated!(impl_squawk, 1, 15, T);
// impl_squawk!((0, T0));
// impl_squawk!((0, T0), (1, T1));
// ..
// impl_squawk!((0, T0) .. (14, T14));

The implementation for StableInterpolate over tuples has been changed to use this pattern instead of doing manual enumeration. It also actually uses fake_variadic now.

Testing

Tested via macro expansion and compiling.