Skip to content

Commit 64b3a31

Browse files
Dawn Perchikzygoloid
authored andcommitted
P0608R3 A sane variant converting constructor
1 parent 5d13e04 commit 64b3a31

File tree

1 file changed

+12
-3
lines changed

1 file changed

+12
-3
lines changed

source/utilities.tex

Lines changed: 12 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -3984,7 +3984,12 @@
39843984
\begin{itemdescr}
39853985
\pnum
39863986
Let $\tcode{T}_j$ be a type that is determined as follows:
3987-
build an imaginary function \tcode{\placeholdernc{FUN}($\tcode{T}_i$)} for each alternative type $\tcode{T}_i$. The overload \tcode{\placeholdernc{FUN}($\tcode{T}_j$)} selected by overload
3987+
build an imaginary function \tcode{\placeholdernc{FUN}($\tcode{T}_i$)}
3988+
for each alternative type $\tcode{T}_i$
3989+
for which \tcode{$\tcode{T}_i$ x[] =} \tcode{\{std::forward<T>(t)\};}
3990+
is well-formed for some invented variable \tcode{x} and,
3991+
if $\tcode{T}_i$ is \cv~\tcode{bool}, \tcode{remove_cvref_t<T>} is \tcode{bool}.
3992+
The overload \tcode{\placeholdernc{FUN}($\tcode{T}_j$)} selected by overload
39883993
resolution for the expression \tcode{\placeholdernc{FUN}(std::forward<T>(\brk{}t))} defines
39893994
the alternative $\tcode{T}_j$ which is the type of the contained value after
39903995
construction.
@@ -4288,8 +4293,12 @@
42884293
\begin{itemdescr}
42894294
\pnum
42904295
Let $\tcode{T}_j$ be a type that is determined as follows:
4291-
build an imaginary function \tcode{\placeholdernc{FUN}($\tcode{T}_i$)} for each alternative type
4292-
$\tcode{T}_i$. The overload \tcode{\placeholdernc{FUN}($\tcode{T}_j$)} selected by overload
4296+
build an imaginary function \tcode{\placeholdernc{FUN}($\tcode{T}_i$)}
4297+
for each alternative type $\tcode{T}_i$
4298+
for which \tcode{$\tcode{T}_i$ x[] =} \tcode{\{std::forward<T>(t)\};}
4299+
is well-formed for some invented variable \tcode{x} and,
4300+
if $\tcode{T}_i$ is \cv~\tcode{bool}, \tcode{remove_cvref_t<T>} is \tcode{bool}.
4301+
The overload \tcode{\placeholdernc{FUN}($\tcode{T}_j$)} selected by overload
42934302
resolution for the expression \tcode{\placeholdernc{FUN}(std::forward<T>(\brk{}t))} defines
42944303
the alternative $\tcode{T}_j$ which is the type of the contained value after
42954304
assignment.

0 commit comments

Comments
 (0)