LWG4432 Clarify element initialization for meta::reflect_constant_array

Author: burblebee

source/meta.tex

@@ -3410,19 +3410,20 @@
 
 \begin{itemdescr}
 \pnum
-Let \tcode{T} be \tcode{ranges::range_value_t<R>}.
+Let \tcode{T} be \tcode{ranges::range_value_t<R>} and
+$\tcode{e}_i$ be \tcode{static_cast<T>(*$it_i$)},
+where \tcode{$it_i$} is an iterator to the $i^\text{th}$ element of \tcode{r}.
 
 \pnum
 \mandates
 \tcode{T} is a structural type\iref{temp.param},
 \tcode{is_constructible_v<T, ranges::range_reference_t<R>>} is \tcode{true}, and
-\tcode{is_copy_constructible_v<T>} is \tcode{true}.
+\tcode{T} satisfies \libconcept{copy_constructible}.
 
 \pnum
 Let $V$ be the pack of values of type \tcode{info}
 of the same size as \tcode{r},
-where the $i^\text{th}$ element is \tcode{reflect_constant($\tcode{e}_i$)},
-where $\tcode{e}_i$ is the $i^\text{th}$ element of \tcode{r}.
+where the $i^\text{th}$ element is \tcode{reflect_constant($\tcode{e}_i$)}.
 
 \pnum
 Let $P$ be
@@ -3444,9 +3445,10 @@
 
 \pnum
 \throws
-\tcode{meta::exception} unless
-\tcode{reflect_constant(e)} is a constant subexpression
-for every element \tcode{e} of \tcode{r}.
+Any exception thrown by the evaluation of any $\tcode{e}_i$, or
+\tcode{meta::exception}
+if evaluation of any \tcode{reflect_constant($\tcode{e}_i$)}
+would exit via an exception.
 
 \pnum
 \begin{note}