P0608R3 A sane variant converting constructor

Author: Dawn Perchik

source/utilities.tex

@@ -3962,7 +3962,12 @@
 \begin{itemdescr}
 \pnum
 Let $\tcode{T}_j$ be a type that is determined as follows:
-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
+build an imaginary function \tcode{\placeholdernc{FUN}($\tcode{T}_i$)}
+for each alternative type $\tcode{T}_i$
+for which \tcode{$\tcode{T}_i$ x[] =} \tcode{\{std::forward<T>(t)\};}
+is well-formed for some invented variable \tcode{x} and,
+if $\tcode{T}_i$ is \cv~\tcode{bool}, \tcode{remove_cvref_t<T>} is \tcode{bool}.
+The overload \tcode{\placeholdernc{FUN}($\tcode{T}_j$)} selected by overload
 resolution for the expression \tcode{\placeholdernc{FUN}(std::forward<T>(\brk{}t))} defines
 the alternative $\tcode{T}_j$ which is the type of the contained value after
 construction.
@@ -4257,8 +4262,12 @@
 \begin{itemdescr}
 \pnum
 Let $\tcode{T}_j$ be a type that is determined as follows:
-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
+build an imaginary function \tcode{\placeholdernc{FUN}($\tcode{T}_i$)}
+for each alternative type $\tcode{T}_i$
+for which \tcode{$\tcode{T}_i$ x[] =} \tcode{\{std::forward<T>(t)\};}
+is well-formed for some invented variable \tcode{x} and,
+if $\tcode{T}_i$ is \cv~\tcode{bool}, \tcode{remove_cvref_t<T>} is \tcode{bool}.
+The overload \tcode{\placeholdernc{FUN}($\tcode{T}_j$)} selected by overload
 resolution for the expression \tcode{\placeholdernc{FUN}(std::forward<T>(\brk{}t))} defines
 the alternative $\tcode{T}_j$ which is the type of the contained value after
 assignment.