tmp/tmpn4z2nu8r/{from.md → to.md}
RENAMED
|
@@ -25,12 +25,12 @@ expression `views::drop(E, F)` is expression-equivalent to:
|
|
| 25 |
then
|
| 26 |
`U(ranges::begin(E) + std::min<D>(ranges::distance(E), F), ranges::end(E))`,
|
| 27 |
except that `E` is evaluated only once, where `U` is
|
| 28 |
`span<typename T::element_type>` if `T` is a specialization of `span`
|
| 29 |
and `T` otherwise.
|
| 30 |
-
- Otherwise, if `T` is a specialization of `subrange`
|
| 31 |
-
|
| 32 |
`T(ranges::begin(E) + std::min<D>(ranges::distance(E), F), ranges::{}end(E),
|
| 33 |
to-unsigned-like(ranges::distance(E) -
|
| 34 |
std::min<D>(ranges::distance(E), F)))`, except that `E` and `F` are
|
| 35 |
each evaluated only once.
|
| 36 |
- Otherwise, if `T` is a specialization of `repeat_view`
|
|
|
|
| 25 |
then
|
| 26 |
`U(ranges::begin(E) + std::min<D>(ranges::distance(E), F), ranges::end(E))`,
|
| 27 |
except that `E` is evaluated only once, where `U` is
|
| 28 |
`span<typename T::element_type>` if `T` is a specialization of `span`
|
| 29 |
and `T` otherwise.
|
| 30 |
+
- Otherwise, if `T` is a specialization of `subrange` that models
|
| 31 |
+
`random_access_range` and `sized_range`, then
|
| 32 |
`T(ranges::begin(E) + std::min<D>(ranges::distance(E), F), ranges::{}end(E),
|
| 33 |
to-unsigned-like(ranges::distance(E) -
|
| 34 |
std::min<D>(ranges::distance(E), F)))`, except that `E` and `F` are
|
| 35 |
each evaluated only once.
|
| 36 |
- Otherwise, if `T` is a specialization of `repeat_view`
|