We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent cdd5062 commit 6baf5bfCopy full SHA for 6baf5bf
source/meta.tex
@@ -5903,11 +5903,6 @@
5903
\pnum
5904
Let \tcode{T} be \tcode{ranges::range_value_t<R>}.
5905
5906
-\pnum
5907
-\constantwhen
5908
-\tcode{reflect_constant(e)} is a constant subexpression
5909
-for every element \tcode{e} of \tcode{r}.
5910
-
5911
5912
\mandates
5913
\tcode{T} is a structural type\iref{temp.param},
@@ -5938,6 +5933,12 @@
5938
5933
\returns
5939
5934
\tcode{\reflexpr{$P$}}.
5940
5935
5936
+\pnum
5937
+\throws
+\tcode{meta::exception} unless
+\tcode{reflect_constant(e)} is a constant subexpression
+for every element \tcode{e} of \tcode{r}.
5941
+
5942
5943
\begin{note}
5944
$P$ is a potentially non-unique object\iref{intro.object}.
0 commit comments