Comparing TypeTuples

[monarch_dodra via Digitalmars-d-learn]

On Tuesday, 2 September 2014 at 08:27:14 UTC, Tudor Berariu wrote:
> How can I check if two TypeTuples containing both types and 
> values are the same?
> This fails:
>
>   static assert(is(TypeTuple!(3, int, "Zorro") == TypeTuple!(3, 
> int, "Zorro")));
>
> Thank you!
> Tudor

Yeah, this fails because you can't use "is(a == b)" with values. 
However, *you* use "is(a)" to check if a is an actual type. Then, 
you can do something like:

     alias Args1 = TypeTuple!(3, int, "Zorro");
     alias Args2 = TypeTuple!(3, int, "Zorro");
     static assert(Args1.length == Args2.length);
     foreach (I, _; Args1)
     {
         pragma(msg, I);
         static assert(is(Args1[I]) == is(Args2[I]));
         static if (is(Args1[I]))
             static assert(is(Args1[I] == Args2[I]));
         else
             static assert(Args1[I] == Args2[I]);
     }