From 104c05de2aec261fde321d5cce849479562ed34c Mon Sep 17 00:00:00 2001
From: Jonathan Wakely <cxx@kayari.org>
Date: Fri, 24 Oct 2025 17:53:32 +0100
Subject: [PATCH] [meta.reflection.result] move declaration of TCls earlier

Fixes NB US 117-178 (C++26 CD).
---
 source/meta.tex | 15 ++++++++-------
 1 file changed, 8 insertions(+), 7 deletions(-)

diff --git a/source/meta.tex b/source/meta.tex
index b473f67b7e..0ba01d61b5 100644
--- a/source/meta.tex
+++ b/source/meta.tex
@@ -6118,10 +6118,15 @@
   otherwise, the value of \tcode{expr}.
 \end{itemize}
 
+\pnum
+Let \tcode{TCls} be the invented template:
+\begin{codeblock}
+template<T P> struct TCls;
+\end{codeblock}
+
 \pnum
 \returns
-\tcode{template_arguments_of(\reflexpr{TCls<$V$>})[0]},
-with \tcode{TCls} as defined below.
+\tcode{template_arguments_of(\reflexpr{TCls<$V$>})[0]}.
 \begin{note}
 This is a reflection of an object for class types,
 and a reflection of a value otherwise.
@@ -6130,11 +6135,7 @@
 \pnum
 \throws
 \tcode{meta::exception} unless
-the \grammarterm{template-id} \tcode{TCls<$V$>} would be valid
-given the invented template
-\begin{codeblock}
-template<T P> struct TCls;
-\end{codeblock}
+the \grammarterm{template-id} \tcode{TCls<$V$>} would be valid.
 
 \pnum
 \begin{example}