Skip to content

Commit c1a0c20

Browse files
committed
Revised P/R without the extra "The implementation shall ensure that" wording
1 parent 70dc1e5 commit c1a0c20

File tree

1 file changed

+36
-2
lines changed

1 file changed

+36
-2
lines changed

xml/issue4288.xml

Lines changed: 36 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -16,9 +16,8 @@ Currently, the <i>Constraints:</i> element in <sref ref="[time.clock.system.memb
1616
`system_clock::rep` imposes a requirement for the implementation, without establishing any condition for user
1717
code. Perhaps it's wrong to use a <i>Constraints:</i> element there.
1818
</p>
19-
</discussion>
2019

21-
<resolution>
20+
<superseded>
2221
<p>
2322
This wording is relative to <paper num="N5008"/>.
2423
</p>
@@ -41,6 +40,41 @@ using system_clock::rep = <i>unspecified</i>;
4140
</blockquote>
4241
</li>
4342

43+
</ol>
44+
</superseded>
45+
46+
<note>2025-07-15; Reflector discussion</note>
47+
<p>
48+
The discussion revealed a preference to not insert the additional
49+
"The implementation shall ensure that", because its not really needed,
50+
since this is just a normal implementation requirement that falls out of
51+
the specification.
52+
</p>
53+
</discussion>
54+
55+
<resolution>
56+
<p>
57+
This wording is relative to <paper num="N5008"/>.
58+
</p>
59+
60+
<ol>
61+
62+
<li><p>Modify <sref ref="[time.clock.system.members]"/> as indicated:</p>
63+
64+
<blockquote>
65+
<pre>
66+
using system_clock::rep = <i>unspecified</i>;
67+
</pre>
68+
<blockquote>
69+
<p>
70+
-1- <del><i>Constraints:</i></del> <tt>system_clock::duration::min() &lt; system_clock::duration::zero()</tt>
71+
is <tt>true</tt>.
72+
[<i>Note 1</i>: This implies that `rep` is a signed type. &mdash; <i>end note</i>]
73+
</p>
74+
</blockquote>
75+
</blockquote>
76+
</li>
77+
4478
</ol>
4579
</resolution>
4680

0 commit comments

Comments
 (0)