Skip to content

Commit 104c05d

Browse files
committed
[meta.reflection.result] move declaration of TCls earlier
Fixes NB US 117-178 (C++26 CD).
1 parent f9f7900 commit 104c05d

File tree

1 file changed

+8
-7
lines changed

1 file changed

+8
-7
lines changed

source/meta.tex

Lines changed: 8 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -6118,10 +6118,15 @@
61186118
otherwise, the value of \tcode{expr}.
61196119
\end{itemize}
61206120

6121+
\pnum
6122+
Let \tcode{TCls} be the invented template:
6123+
\begin{codeblock}
6124+
template<T P> struct TCls;
6125+
\end{codeblock}
6126+
61216127
\pnum
61226128
\returns
6123-
\tcode{template_arguments_of(\reflexpr{TCls<$V$>})[0]},
6124-
with \tcode{TCls} as defined below.
6129+
\tcode{template_arguments_of(\reflexpr{TCls<$V$>})[0]}.
61256130
\begin{note}
61266131
This is a reflection of an object for class types,
61276132
and a reflection of a value otherwise.
@@ -6130,11 +6135,7 @@
61306135
\pnum
61316136
\throws
61326137
\tcode{meta::exception} unless
6133-
the \grammarterm{template-id} \tcode{TCls<$V$>} would be valid
6134-
given the invented template
6135-
\begin{codeblock}
6136-
template<T P> struct TCls;
6137-
\end{codeblock}
6138+
the \grammarterm{template-id} \tcode{TCls<$V$>} would be valid.
61386139

61396140
\pnum
61406141
\begin{example}

0 commit comments

Comments
 (0)