Skip to content

Commit 06c328d

Browse files
committed
New P/R for 4424 decided on during LWG telecon
1 parent cc3fc32 commit 06c328d

File tree

1 file changed

+43
-3
lines changed

1 file changed

+43
-3
lines changed

xml/issue4424.xml

Lines changed: 43 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -22,9 +22,7 @@ And what happens if you try to define a cv-qualified type:
2222
<pre>struct S; meta::define_aggregate(^^const S, {});</pre>
2323
Should this be an error, or inject a definition of the unqualified type?
2424
</p>
25-
</discussion>
26-
27-
<resolution>
25+
<superseded>
2826
<p>
2927
This wording is relative to <paper num="N5014"/>.
3028
</p>
@@ -59,6 +57,48 @@ be the corresponding data member description represented by
5957
</blockquote>
6058
</li>
6159
</ol>
60+
</superseded>
61+
62+
<note>2025-10-24; LWG telecon. Jonathan updates wording</note>
63+
<p>Make a minimal change for now, can add support for aliases later.</p>
64+
65+
</discussion>
66+
67+
<resolution>
68+
<p>
69+
This wording is relative to <paper num="N5014"/>.
70+
</p>
71+
72+
<ol>
73+
74+
<li><p>Modify <sref ref="[meta.reflection.define.aggregate]"/> as indicated:</p>
75+
76+
<blockquote>
77+
<p>-7-
78+
Let <i>C</i> be the <del>class</del> <ins>type</ins> represented by
79+
<code>class_type</code>
80+
and <i>r<sub>K</sub></i> be the <i>K</i><sup>th</sup> reflection value
81+
in `mdescrs`.
82+
For every <i>r<sub>K</sub></i> in `mdescrs`,
83+
let (<i>T<sub>K</sub></i>, <i>N<sub>K</sub></i>, <i>A<sub>K</sub></i>,
84+
<i>W<sub>K</sub></i>, <i>NUA<sub>K</sub></i>)
85+
be the corresponding data member description represented by
86+
<i>r<sub>K</sub></i>.
87+
</p>
88+
<p>-8- <i>Constant when</i>:
89+
<ul>
90+
<li><ins>(8.?) &mdash;
91+
`class_type` represents a cv-unqualified class type;
92+
</ins>
93+
</li>
94+
<li>(8.1) &mdash;
95+
<i>C</i> is incomplete from every point in the evaluation context;
96+
</li>
97+
</ul>
98+
</p>
99+
</blockquote>
100+
</li>
101+
</ol>
62102
</resolution>
63103

64104
</issue>

0 commit comments

Comments
 (0)