tmp/tmpo4s6344n/{from.md → to.md}
RENAMED
|
@@ -19,11 +19,11 @@ template<class Out, class T>
|
|
| 19 |
Let `E` be an expression such that `decltype((E))` is `T`, and let `o`
|
| 20 |
be a dereferenceable object of type `Out`. `Out` and `T` model
|
| 21 |
`indirectly_writable<Out, T>` only if
|
| 22 |
|
| 23 |
- If `Out` and `T` model
|
| 24 |
-
`indirectly_readable<Out> && same_as<iter_value_t<Out>, decay_t<T>
|
| 25 |
then `*o` after any above assignment is equal to the value of `E`
|
| 26 |
before the assignment.
|
| 27 |
|
| 28 |
After evaluating any above assignment expression, `o` is not required to
|
| 29 |
be dereferenceable.
|
|
|
|
| 19 |
Let `E` be an expression such that `decltype((E))` is `T`, and let `o`
|
| 20 |
be a dereferenceable object of type `Out`. `Out` and `T` model
|
| 21 |
`indirectly_writable<Out, T>` only if
|
| 22 |
|
| 23 |
- If `Out` and `T` model
|
| 24 |
+
`indirectly_readable<Out> && same_as<iter_value_t<Out>, decay_t<T>>`,
|
| 25 |
then `*o` after any above assignment is equal to the value of `E`
|
| 26 |
before the assignment.
|
| 27 |
|
| 28 |
After evaluating any above assignment expression, `o` is not required to
|
| 29 |
be dereferenceable.
|