tmp/tmpxl0jgz73/{from.md → to.md}
RENAMED
|
@@ -22,10 +22,11 @@ non-dereferenceable iterator of type `I` such that `b` is reachable from
|
|
| 22 |
if
|
| 23 |
|
| 24 |
- `to_address(a) == addressof(*a)`,
|
| 25 |
- `to_address(b) == to_address(a) + D(b - a)`,
|
| 26 |
- `to_address(c) == to_address(a) + D(c - a)`,
|
|
|
|
| 27 |
- `ranges::iter_move(a)` has the same type, value category, and effects
|
| 28 |
as `std::move(*a)`, and
|
| 29 |
- if `ranges::iter_swap(a, b)` is well-formed, it has effects equivalent
|
| 30 |
to `ranges::swap(*a, *b)`.
|
| 31 |
|
|
|
|
| 22 |
if
|
| 23 |
|
| 24 |
- `to_address(a) == addressof(*a)`,
|
| 25 |
- `to_address(b) == to_address(a) + D(b - a)`,
|
| 26 |
- `to_address(c) == to_address(a) + D(c - a)`,
|
| 27 |
+
- `to_address(I{})` is well-defined,
|
| 28 |
- `ranges::iter_move(a)` has the same type, value category, and effects
|
| 29 |
as `std::move(*a)`, and
|
| 30 |
- if `ranges::iter_swap(a, b)` is well-formed, it has effects equivalent
|
| 31 |
to `ranges::swap(*a, *b)`.
|
| 32 |
|