Skip to content

Commit 66c4b11

Browse files
Eisenwavetkoeppe
authored andcommitted
[meta.reflection.annotation] Replace "Constant When" with "Throws"
1 parent df70ba3 commit 66c4b11

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
@@ -6577,18 +6577,6 @@
65776577
\end{itemdecl}
65786578

65796579
\begin{itemdescr}
6580-
\pnum
6581-
\constantwhen
6582-
\tcode{item} represents a
6583-
type,
6584-
type alias,
6585-
variable,
6586-
function,
6587-
namespace,
6588-
enumerator,
6589-
direct base class relationship, or
6590-
non-static data member.
6591-
65926580
\pnum
65936581
Let $E$ be
65946582
\begin{itemize}
@@ -6649,6 +6637,19 @@
66496637
static_assert(annotations_of(^^x)[0] == annotations_of(^^y)[0]);
66506638
\end{codeblock}
66516639
\end{example}
6640+
6641+
\pnum
6642+
\throws
6643+
\tcode{meta::exception} unless
6644+
\tcode{item} represents a
6645+
type,
6646+
type alias,
6647+
variable,
6648+
function,
6649+
namespace,
6650+
enumerator,
6651+
direct base class relationship, or
6652+
non-static data member.
66526653
\end{itemdescr}
66536654

66546655
\indexlibraryglobal{annotations_of_with_type}%
@@ -6657,16 +6658,6 @@
66576658
\end{itemdecl}
66586659

66596660
\begin{itemdescr}
6660-
\pnum
6661-
\constantwhen
6662-
\begin{itemize}
6663-
\item
6664-
\tcode{annotations_of(item)} is a constant expression and
6665-
\item
6666-
\tcode{dealias(type)} represents a type that is complete
6667-
from some point in the evaluation context.
6668-
\end{itemize}
6669-
66706661
\pnum
66716662
\returns
66726663
A \tcode{vector} containing each element \tcode{e} of \tcode{annotations_of(item)}
@@ -6675,6 +6666,17 @@
66756666
remove_const(type_of(e)) == remove_const(type)
66766667
\end{codeblock}
66776668
is \tcode{true}, preserving their order.
6669+
6670+
\pnum
6671+
\throws
6672+
\tcode{meta::exception} unless
6673+
\begin{itemize}
6674+
\item
6675+
\tcode{annotations_of(item)} is a constant expression and
6676+
\item
6677+
\tcode{dealias(type)} represents a type that is complete
6678+
from some point in the evaluation context.
6679+
\end{itemize}
66786680
\end{itemdescr}
66796681

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

0 commit comments

Comments
 (0)