Function assign_range

libs/base/buffer_vector.hpp:488–491

template <class Dest, class Src>
void assign_range(Dest & dest, Src const & src)
{
  dest.assign(std::begin(src), std::end(src));
}