On 2018-02-20 22:54, Tom Tromey wrote: > Tom> Maybe I should avoid this entirely by using std::copy or something > like > Tom> that. > > How about this instead? > > Tom LGTM.