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 29100a6 commit df70ba3Copy full SHA for df70ba3
source/meta.tex
@@ -5896,11 +5896,6 @@
5896
\pnum
5897
Let \tcode{T} be \tcode{ranges::range_value_t<R>}.
5898
5899
-\pnum
5900
-\constantwhen
5901
-\tcode{reflect_constant(e)} is a constant subexpression
5902
-for every element \tcode{e} of \tcode{r}.
5903
-
5904
5905
\mandates
5906
\tcode{T} is a structural type\iref{temp.param},
@@ -5931,6 +5926,12 @@
5931
5926
\returns
5932
5927
\tcode{\reflexpr{$P$}}.
5933
5928
5929
+\pnum
5930
+\throws
+\tcode{meta::exception} unless
+\tcode{reflect_constant(e)} is a constant subexpression
+for every element \tcode{e} of \tcode{r}.
5934
+
5935
5936
\begin{note}
5937
$P$ is a potentially non-unique object\iref{intro.object}.
0 commit comments