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

[Ilya Yaroshenko via Digitalmars-d]

On Thursday, 29 September 2016 at 19:03:00 UTC, pineapple wrote:
> On Thursday, 29 September 2016 at 18:56:40 UTC, Ilya Yaroshenko 
> wrote:
>> No, it does not
>> ---
>> void foo(size_t[] I...)(I i)
>> {
>> 	
>> }
>
> Using phobos' allSatisfy or a similar template, this can become:
>
>     enum isIndex(T) = is(T == size_t);
>     void foo(I...)(I i) if(allSatisfy!(isIndex, I)){ ... }

would not work:
auto v = cube[1, 2, 3];