tmp/tmp86497iei/{from.md → to.md}
RENAMED
|
@@ -26,11 +26,11 @@ range.
|
|
| 26 |
|
| 27 |
Two dereferenceable iterators `a` and `b` of type `X` offer the
|
| 28 |
*multi-pass guarantee* if:
|
| 29 |
|
| 30 |
- `a == b` implies `++a == ++b` and
|
| 31 |
-
-
|
| 32 |
expression `*a`.
|
| 33 |
|
| 34 |
[*Note 2*: The requirement that `a == b` implies `++a == ++b` and the
|
| 35 |
removal of the restrictions on the number of assignments through a
|
| 36 |
mutable iterator (which applies to output iterators) allow the use of
|
|
|
|
| 26 |
|
| 27 |
Two dereferenceable iterators `a` and `b` of type `X` offer the
|
| 28 |
*multi-pass guarantee* if:
|
| 29 |
|
| 30 |
- `a == b` implies `++a == ++b` and
|
| 31 |
+
- the expression `((void)[](X x){++x;}(a), *a)` is equivalent to the
|
| 32 |
expression `*a`.
|
| 33 |
|
| 34 |
[*Note 2*: The requirement that `a == b` implies `++a == ++b` and the
|
| 35 |
removal of the restrictions on the number of assignments through a
|
| 36 |
mutable iterator (which applies to output iterators) allow the use of
|