From eaea584f3e395f98a4ee93f101429a63ccbe387a Mon Sep 17 00:00:00 2001 From: Barry Revzin Date: Tue, 5 Nov 2024 10:38:33 -0600 Subject: [PATCH] Another wording nit --- 2996_reflection/p2996r8.html | 8 +++++--- 2996_reflection/reflection.md | 4 ++-- 2 files changed, 7 insertions(+), 5 deletions(-) diff --git a/2996_reflection/p2996r8.html b/2996_reflection/p2996r8.html index 3c3a30df..9e67a305 100644 --- a/2996_reflection/p2996r8.html +++ b/2996_reflection/p2996r8.html @@ -9010,11 +9010,13 @@

(7.10) 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. +D has a user-provided +default constructor which has no effect.
  • (7.11) 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.
  • +which any of its members are not trivially destructible, then +D has a user-provided +destructor which has no effect.

    8 Returns: class_type.

    diff --git a/2996_reflection/reflection.md b/2996_reflection/reflection.md index 876c8cca..24b177ae 100644 --- 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 `@$o$~$K$~@.name` 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`.