tmp/tmpvm5tmh_b/{from.md → to.md}
RENAMED
|
@@ -21,10 +21,12 @@ template <class ErrorConditionEnum>
|
|
| 21 |
error_condition(ErrorConditionEnum e) noexcept;
|
| 22 |
```
|
| 23 |
|
| 24 |
*Effects:* Constructs an object of type `error_condition`.
|
| 25 |
|
| 26 |
-
`*this == make_error_condition(e)`.
|
| 27 |
|
| 28 |
-
*Remarks:*
|
| 29 |
-
|
|
|
|
|
|
|
| 30 |
|
|
|
|
| 21 |
error_condition(ErrorConditionEnum e) noexcept;
|
| 22 |
```
|
| 23 |
|
| 24 |
*Effects:* Constructs an object of type `error_condition`.
|
| 25 |
|
| 26 |
+
*Postconditions:* `*this == make_error_condition(e)`.
|
| 27 |
|
| 28 |
+
*Remarks:*
|
| 29 |
+
|
| 30 |
+
This constructor shall not participate in overload resolution unless
|
| 31 |
+
`is_error_condition_enum_v<ErrorConditionEnum>` is `true`.
|
| 32 |
|