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

[Andrei Alexandrescu via Digitalmars-d]

Ilya Yaroshenko <ilyayaroshenko at gmail.com> wrote:
> On Thursday, 29 September 2016 at 18:55:07 UTC, Andrei 
> Alexandrescu wrote:
>> On 09/29/2016 02:53 PM, Ilya Yaroshenko wrote:
>>> `(Index...)` -> `(size_t[] Index...)` // this is about template
>>> arguments, not runtime
>> 
>> What is the drawback of taking Index... and constraining it 
>> with a template constraint (all must be integral)? We use that 
>> in a few places in Phobos. -- Andrei
> 
> This is the same like in current ndslice code.
> For 3D cube[i, j, k] 64(!) templates can be generated because
> each of i, j, k can be int, uint, size_t, sizediff_t.
> 

Yah, I remember. Can you experiment with arranging things such that all
templates forward to the same backend function that does the work?