template <typename T>
std::vector<T> ConvertViewToVector(const array_view<T>& view) {
  return {view.begin(), view.end()};
}