Mixture of type tuple and expression tuple

[Daniel Murphy]

http://d.puremagic.com/issues/show_bug.cgi?id=2599

"Matthias Walter" <xammy at xammy.homelinux.net> wrote in message 
news:mailman.71.1328567829.20196.digitalmars-d-learn at puremagic.com...
> Hi,
>
> I'd like to have a function foo which shall depend on several
> compile-time expressions (e.g. strings) and gets several arguments whose
> types are templatized. Here, "several" means in both cases that the
> number of expressions/arguments are to be determined at compile-time.
> Here is an example:
>
> foo!("a", "b", c")(42, new MyClass(), 7.0);
>
> At compile-time, some template parameters (strings "a", "b" and "c")
> shall be given explicitly and some more template parameters (types of
> arguments int, MyClass, double) shall be deduced from the function
> arguments.
>
> Is that possible? Of course, I cannot setup two TemplateTupleParameters.
>
> Best regards,
>
> Matthias
>