Jonathan M Davis wrote:
if length can be specifically ulong and the type is random access, then its indices will need to be ulong), so unfortunately, the situation is not so simple that you can always assume size_t (even you should arguably be able to).
It seems that isRandomAccessRange doesn't check that opIndex parameter type and length() return type are the same. Do you think it should?