[meta.reflection.queries] Replace "Constant When" with "Throws"

Author: eisenwave

source/meta.tex

@@ -4593,10 +4593,6 @@
 \end{itemdecl}
 
 \begin{itemdescr}
-\pnum
-\constantwhen
-\tcode{r} represents a function or a function type.
-
 \pnum
 \returns
 \begin{itemize}
@@ -4610,6 +4606,11 @@
   in parameter-type-list\iref{dcl.fct} of $T$,
   in the order in which they appear in the parameter-type-list.
 \end{itemize}
+
+\pnum
+\throws
+\tcode{meta::exception} unless
+\tcode{r} represents a function or a function type.
 \end{itemdescr}
 
 \indexlibraryglobal{variable_of}%
@@ -4619,7 +4620,12 @@
 
 \begin{itemdescr}
 \pnum
-\constantwhen
+\returns
+The reflection of the parameter variable corresponding to \tcode{r}.
+
+\pnum
+\throws
+\tcode{meta::exception} unless
 \begin{itemize}
 \item
   \tcode{r} represents a parameter of a function $F$ and
@@ -4629,10 +4635,6 @@
   is the function parameter scope\iref{basic.scope.param}
   associated with $F$.
 \end{itemize}
-
-\pnum
-\returns
-The reflection of the parameter variable corresponding to \tcode{r}.
 \end{itemdescr}
 
 \indexlibraryglobal{return_type_of}%
@@ -4641,16 +4643,17 @@
 \end{itemdecl}
 
 \begin{itemdescr}
-\pnum
-\constantwhen
-either \tcode{r} represents a function
-and \tcode{\exposid{has-type}(r)} is \tcode{true}
-or \tcode{r} represents a function type.
-
 \pnum
 \returns
 The reflection of the return type
 of the function or function type represented by \tcode{r}.
+
+\pnum
+\throws
+\tcode{meta::exception}
+either \tcode{r} represents a function
+and \tcode{\exposid{has-type}(r)} is \tcode{true}
+or \tcode{r} represents a function type.
 \end{itemdescr}
 
 \rSec2[meta.reflection.access.context]{Access control context}