tmp/tmppmm08766/{from.md → to.md}
RENAMED
|
@@ -5,7 +5,7 @@ void reset() noexcept;
|
|
| 5 |
```
|
| 6 |
|
| 7 |
*Effects:* If `*this` contains a value, calls `val->T::T̃()` to destroy
|
| 8 |
the contained value; otherwise no effect.
|
| 9 |
|
| 10 |
-
*
|
| 11 |
|
|
|
|
| 5 |
```
|
| 6 |
|
| 7 |
*Effects:* If `*this` contains a value, calls `val->T::T̃()` to destroy
|
| 8 |
the contained value; otherwise no effect.
|
| 9 |
|
| 10 |
+
*Ensures:* `*this` does not contain a value.
|
| 11 |
|