DIP54 : revamp of Phobos tuple types

[Dicebot]

On Monday, 30 December 2013 at 04:07:42 UTC, Timon Gehr wrote:
>> Template arguments lists are what they are - entities that can 
>> be passed
>> to templates. Aliasing them is sensible but creating values 
>> thereof does
>> not make sense.
>
> You are doing it in the implementation of std.typecons.Tuple, 
> and on every variadic function template call. How does it not 
> make sense?

See my clarification here - 
http://forum.dlang.org/post/msumrnieryzifgcyuiqc@forum.dlang.org

It is not creation of instance in general language meaning, it is 
special case implemented specifically for template argument lists 
which just happen to look so naturally close to instantiation. In 
fact it creates new template argument lists of aliases to 
variables, one can do the same trick manually with named 
variables with exactly same effect.