Another wording nit

brevzin · Nov 5, 2024 · eaea584 · eaea584
1 parent ad54b25
commit eaea584
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 5 deletions.
diff --git a/2996_reflection/p2996r8.html b/2996_reflection/p2996r8.html
@@ -9010,11 +9010,13 @@ <h3 class="unnumbered" id="meta.reflection.define.aggregate-reflection-class-def
 <li><span class="marginalizedparent"><a class="marginalized" href="#pnum_384" id="pnum_384">(7.10)</a></span>
 If <code class="sourceCode cpp"><em>C</em></code> is a union type for
 which any of its members are not trivially default constructible, then
-it has a user-provided default constructor which has no effect.</li>
+<code class="sourceCode cpp"><em>D</em></code> has a user-provided
+default constructor which has no effect.</li>
 <li><span class="marginalizedparent"><a class="marginalized" href="#pnum_385" id="pnum_385">(7.11)</a></span>
 If <code class="sourceCode cpp"><em>C</em></code> is a union type for
-which any of its members are not trivially destructible, then it has a
-user-provided destructor which has no effect.</li>
+which any of its members are not trivially destructible, then
+<code class="sourceCode cpp"><em>D</em></code> has a user-provided
+destructor which has no effect.</li>
 </ul>
 <p><span class="marginalizedparent"><a class="marginalized" href="#pnum_386" id="pnum_386">8</a></span>
 <em>Returns</em>: <code class="sourceCode cpp">class_type</code>.</p>

diff --git a/2996_reflection/reflection.md b/2996_reflection/reflection.md
@@ -5450,8 +5450,8 @@ Produces an injected declaration `$D$` ([expr.const]) that provides a definition
 - [#.#]{.pnum} A non-static data member corresponding to a reflection `@$r$~$K$~@` is declared with a name determined as follows:
   - If `@[email protected]` does not contain a value, the non-static data member is declared without a name.
   - Otherwise, the name of the non-static data member is the identifier determined by the character sequence encoded by `u8identifier_of(@$r$~$K$~@)` in UTF-8.
-- [#.#]{.pnum} If `$C$` is a union type for which any of its members are not trivially default constructible, then it has a user-provided default constructor which has no effect.
-- [#.#]{.pnum} If `$C$` is a union type for which any of its members are not trivially destructible, then it has a user-provided destructor which has no effect.
+- [#.#]{.pnum} If `$C$` is a union type for which any of its members are not trivially default constructible, then `$D$` has a user-provided default constructor which has no effect.
+- [#.#]{.pnum} If `$C$` is a union type for which any of its members are not trivially destructible, then `$D$` has a user-provided destructor which has no effect.
 
 [#]{.pnum} *Returns*: `class_type`.