On Tuesday, 26 March 2013 at 13:45:52 UTC, Ali Çehreli wrote:
There are three kinds of template parameters: type, value, and
alias.
That syntax does not work because you are trying to match 5 to
V, where 5 is a value and V is a type.
Ali
Thanks Ali,
I guess the tuple version is fine, it is just surprising that
only one of the three parameter types can be directly matched. It
is also surprising that this example from the docs works:
alias Tuple!(int, string) Tup;
static if (is(Tup : TX!TL, alias TX, TL...))
(matching an alias) but the alias can't be directly matched when
it appears as a parameter of the type.
