DIP Mir1 Draft: Variadic template parameters with the same time.

[Ilya Yaroshenko via Digitalmars-d]

On Thursday, 29 September 2016 at 18:49:45 UTC, Stefan Koch wrote:
> On Thursday, 29 September 2016 at 18:37:36 UTC, Ilya Yaroshenko 
> wrote:
>> On Thursday, 29 September 2016 at 17:56:59 UTC, Stefan Koch 
>> wrote:
>>>> Solution
>>>>
>>>> T[] can be added to a template variadic name.
>>>>
>>>> ```
>>>> void foo(size_t[] Index...)(Indexes index)
>>>> {
>>>>     ...
>>>> }
>>>> ```
>>>
>>> This description does not tell me anything.
>>
>> Current template argument can be declared as `(Index...)`.
>> The solutions just allows to specify the type `(size_t[] 
>> Index...)`
>
> I think we already have typesafe variadics.

Only for runtime arguments.

> What do you want to change ?

`(Index...)` -> `(size_t[] Index...)` // this is about template 
arguments, not runtime