DMD не может вывести тип, даже если тип задается

Question

Здесь я хочу Lockstep итерацию по двум массивам size_t

import std.stdio; 
import std.range; 
import std.exception; 
import std.conv; 

struct zip(R,Q) 
if(isInputRange!(R) && isInputRange!(Q)) 
{ 
    R r; 
    Q q; 
    @property 
    const auto front() { 
     return tuple(r.front, q.front); 
    } 
    void popFront() { 
     r.popFront(); 
     q.popFront(); 
    } 
    @property 
    const bool empty() { 
     bool re = r.empty; 
     enforce(re == q.empty); 
     return re; 
    } 
} 

void main() { 
    size_t[] a = [0,1,2,3,4,5]; 
    size_t[] b = [2,3,4,5,6,7]; 
    foreach(size_t i, size_t j; zip!(size_t[],size_t[])(a,b)) { 
     writeln(to!string(i) ~ " " ~ to!string(j)); 
    } 
} 

Но это не удается скомпилировать с

src/Interpreter.d(30): Error: cannot infer argument types 

Однако, когда я изменить Еогеасп линия использовать UINT вместо size_t (я на 32-битном ноутбук)

foreach(uint i, uint j; zip!(size_t[],size_t[])(a,b)) { 

Он собирает и работает нормально. Что происходит?

Answer 1

Возможно, это ошибка. В версии 2.05.0 он не работает, но он работает в последней версии разработки git-head.