Skip to content

Commit ffd997c

Browse files
jwakelytkoeppe
authored andcommitted
[meta.reflection.result] move declaration of TCls earlier
Fixes NB US 117-178 (C++26 CD).
1 parent 8525f91 commit ffd997c

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
@@ -6123,10 +6123,15 @@
61236123
otherwise, the value of \tcode{expr}.
61246124
\end{itemize}
61256125

6126+
\pnum
6127+
Let \tcode{TCls} be the invented template:
6128+
\begin{codeblock}
6129+
template<T P> struct TCls;
6130+
\end{codeblock}
6131+
61266132
\pnum
61276133
\returns
6128-
\tcode{template_arguments_of(\reflexpr{TCls<$V$>})[0]},
6129-
with \tcode{TCls} as defined below.
6134+
\tcode{template_arguments_of(\reflexpr{TCls<$V$>})[0]}.
61306135
\begin{note}
61316136
This is a reflection of an object for class types,
61326137
and a reflection of a value otherwise.
@@ -6135,11 +6140,7 @@
61356140
\pnum
61366141
\throws
61376142
\tcode{meta::exception} unless
6138-
the \grammarterm{template-id} \tcode{TCls<$V$>} would be valid
6139-
given the invented template
6140-
\begin{codeblock}
6141-
template<T P> struct TCls;
6142-
\end{codeblock}
6143+
the \grammarterm{template-id} \tcode{TCls<$V$>} would be valid.
61436144

61446145
\pnum
61456146
\begin{example}

0 commit comments

Comments
 (0)