[P2996] Didn't mean to commit this

Author: brevzin

2996_reflection/d2996r12.html

@@ -4,7 +4,7 @@
   <meta charset="utf-8" />
   <meta name="generator" content="mpark/wg21" />
   <meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes" />
-  <meta name="dcterms.date" content="2025-05-02" />
+  <meta name="dcterms.date" content="2025-05-05" />
   <title>Reflection for C++26</title>
   <style>
       code{white-space: pre-wrap;}
@@ -575,7 +575,7 @@ <h1 class="title" style="text-align:center">Reflection for C++26</h1>
   </tr>
   <tr>
     <td>Date:</td>
-    <td>2025-05-02</td>
+    <td>2025-05-05</td>
   </tr>
   <tr>
     <td style="vertical-align:top">Project:</td>
@@ -14058,8 +14058,9 @@ <h3 class="unnumbered" id="meta.reflection.define.aggregate-reflection-class-def
 immediately after the core constant expression currently under
 evaluation.</p></li>
 <li><p><span class="marginalizedparent"><a class="marginalized" href="#pnum_721" id="pnum_721">(10.3)</a></span>
-If <code class="sourceCode cpp"><em>C</em></code> is a specialization of
-a templated class <code class="sourceCode cpp"><em>T</em></code>; then
+If <code class="sourceCode cpp"><em>C</em></code> is a specialization,
+that is not a local class, of a templated class
+<code class="sourceCode cpp"><em>T</em></code>; then
 <code class="sourceCode cpp"><em>D</em></code> is an explicit
 specialization of
 <code class="sourceCode cpp"><em>T</em></code>.</p></li>

2996_reflection/reflection.md

@@ -7870,7 +7870,7 @@ Produces an injected declaration `$D$` ([expr.const]) that provides a definition
 
 - [#.1]{.pnum} The target scope of `$D$` is the scope to which `$C$` belongs ([basic.scope.scope]).
 - [#.#]{.pnum} The locus of `$D$` follows immediately after the core constant expression currently under evaluation.
-- [#.#]{.pnum} If `$C$` is a specialization  of a templated class `$T$`; then `$D$` is an explicit specialization of `$T$`.
+- [#.#]{.pnum} If `$C$` is a specialization, that is not a local class, of a templated class `$T$`; then `$D$` is an explicit specialization of `$T$`.
 - [#.#]{.pnum} `$D$` contains a public non-static data member or unnamed bit-field corresponding to each `@$r$~$K$~@`. For every `@$r$~$L$~@` in `mdescrs` such that `$K$ < $L$`, the declaration of `@$r$~$K$~@` precedes the declaration of `@$r$~$L$~@`.
 - [#.#]{.pnum} A non-static data member or unnamed bit-field corresponding to each `@$r$~$K$~@` is declared as follows: