Skip to content

Commit 1439e2e

Browse files
committed
FIXUP LWG3629: Apply missed edit
1 parent 7bc5e13 commit 1439e2e

File tree

1 file changed

+6
-2
lines changed

1 file changed

+6
-2
lines changed

source/diagnostics.tex

+6-2
Original file line numberDiff line numberDiff line change
@@ -1405,8 +1405,12 @@
14051405
\tcode{is_error_condition_enum_v<ErrorConditionEnum>} is \tcode{true}.
14061406

14071407
\pnum
1408-
\ensures
1409-
\tcode{*this == make_error_condition(e)}.
1408+
\effects
1409+
Equivalent to:
1410+
\begin{codeblock}
1411+
error_condition ec = make_error_condition(e);
1412+
assign(ec.value(), ec.category());
1413+
\end{codeblock}
14101414

14111415
\pnum
14121416
\returns

0 commit comments

Comments
 (0)