On 3/29/23 4:29 PM, ag0aep6g wrote:
But regardless of Salih's exact intent, the broader point is: a non-ref overload could be added to Phobos. And that would enable `a[1..$-1].phobos_put([2, 3])`. Which is what he asked about originally.
I think the idea of requiring ref output ranges is that you can then let the range keep track of its output state.
An input range with lvalue elements is therefore an output range, but only if it's accepted via ref, since it has to be iterated as it goes. If you iterate it only internally, then it's either in an undetermined state when you exit `put`, or it is a forward range that was copied without using `save`.
It's not the greatest situation. I feel like we probably shouldn't have made lvalue input ranges be output ranges automatically.
-Steve
