reflection over templates

[Dicebot]

On Wednesday, 19 March 2014 at 16:18:17 UTC, Andrej Mitrovic 
wrote:
>> And after we determine it is a template, can we extract the
>> required arguments list like we can with a regular function at
>> all?
>
> Well there's TemplateArgsOf for *instantiations*, but I'm not 
> sure how
> one would do it with non-instantiations. In particular how 
> would we
> create a tuple of template parameter types where one of the 
> parameters
> was an alias?
>
> E.g.:
>
> template Foo(int, alias X);
>
> alias Args = TypeTuple!(int, ???);
>
> There is no "alias" type you could use in this case.

One can use value instead of a type, like "alias".