Andrei Alexandrescu wrote:
Note how the left edge of result follows the left edge of r, but the right edge stays put because partition() returns the right-hand-side range. r shrinks from both ends to exhaustion.
So all the elements that satisfy the predicate end up at the end of the original range instead of the beginning? Was that an arbitrary choice, or is there a reason for it?
