Skip to content

Commit 15cbc9c

Browse files
committed
[meta.reflection.annotation] Replace "Constant When" with "Throws"
1 parent 6baf5bf commit 15cbc9c

File tree

1 file changed

+24
-22
lines changed

1 file changed

+24
-22
lines changed

source/meta.tex

Lines changed: 24 additions & 22 deletions
Original file line numberDiff line numberDiff line change
@@ -6584,18 +6584,6 @@
65846584
\end{itemdecl}
65856585

65866586
\begin{itemdescr}
6587-
\pnum
6588-
\constantwhen
6589-
\tcode{item} represents a
6590-
type,
6591-
type alias,
6592-
variable,
6593-
function,
6594-
namespace,
6595-
enumerator,
6596-
direct base class relationship, or
6597-
non-static data member.
6598-
65996587
\pnum
66006588
Let $E$ be
66016589
\begin{itemize}
@@ -6656,6 +6644,19 @@
66566644
static_assert(annotations_of(^^x)[0] == annotations_of(^^y)[0]);
66576645
\end{codeblock}
66586646
\end{example}
6647+
6648+
\pnum
6649+
\throws
6650+
\tcode{meta::exception} unless
6651+
\tcode{item} represents a
6652+
type,
6653+
type alias,
6654+
variable,
6655+
function,
6656+
namespace,
6657+
enumerator,
6658+
direct base class relationship, or
6659+
non-static data member.
66596660
\end{itemdescr}
66606661

66616662
\indexlibraryglobal{annotations_of_with_type}%
@@ -6664,16 +6665,6 @@
66646665
\end{itemdecl}
66656666

66666667
\begin{itemdescr}
6667-
\pnum
6668-
\constantwhen
6669-
\begin{itemize}
6670-
\item
6671-
\tcode{annotations_of(item)} is a constant expression and
6672-
\item
6673-
\tcode{dealias(type)} represents a type that is complete
6674-
from some point in the evaluation context.
6675-
\end{itemize}
6676-
66776668
\pnum
66786669
\returns
66796670
A \tcode{vector} containing each element \tcode{e} of \tcode{annotations_of(item)}
@@ -6682,6 +6673,17 @@
66826673
remove_const(type_of(e)) == remove_const(type)
66836674
\end{codeblock}
66846675
is \tcode{true}, preserving their order.
6676+
6677+
\pnum
6678+
\throws
6679+
\tcode{meta::exception} unless
6680+
\begin{itemize}
6681+
\item
6682+
\tcode{annotations_of(item)} is a constant expression and
6683+
\item
6684+
\tcode{dealias(type)} represents a type that is complete
6685+
from some point in the evaluation context.
6686+
\end{itemize}
66856687
\end{itemdescr}
66866688

66876689
\rSec1[ratio]{Compile-time rational arithmetic}

0 commit comments

Comments
 (0)