The OutputRange concept specifies requirements of a Range type for which begin returns a type that satisfies OutputIterator ([iterators.output]).
template <class R, class T> concept bool OutputRange = Range<R> && OutputIterator<iterator_t<R>, T>;