Testing lazy ranges in post-conditions

[bearophile via Digitalmars-d]

Peter Alexander:

> Should be able to do:
>
> assert(result.save.all!(x => x < 10));
>
> But iota's save isn't const, so you can't (that's a bug).

Mine was just an example of the general problem, another example:


import std.range, std.algorithm;

auto foo()
out(result) {
     assert(result.all!(b => b.length == 2));
} body {
     auto a = new int[10];
     return a.chunks(2);
}

void main() {}


Bye,
bearophile