An output range which only allocates a new copy on the first write that's different from a given original copy.
See Implementation
An output range which only allocates a new copy on the first write that's different from a given original copy.