tmp/tmpiv3_u8_n/{from.md → to.md}
RENAMED
|
@@ -16,11 +16,11 @@ template<class Out, class T>
|
|
| 16 |
};
|
| 17 |
```
|
| 18 |
|
| 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.
|
|
|
|
| 16 |
};
|
| 17 |
```
|
| 18 |
|
| 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.
|