New issue from Jiang An: "The Constraints: element in [time.clock.system.members] is probably wrong"

Author: Dani-Hub

xml/issue4288.xml

@@ -0,0 +1,47 @@
+<?xml version='1.0' encoding='utf-8' standalone='no'?>
+<!DOCTYPE issue SYSTEM "lwg-issue.dtd">
+
+<issue num="4288" status="New">
+<title>The <i>Constraints:</i> element in [time.clock.system.members] is probably wrong</title>
+<section>
+<sref ref="[time.clock.system.members]"/>
+</section>
+<submitter>Jiang An</submitter>
+<date>19 Jun 2025</date>
+<priority>99</priority>
+
+<discussion>
+<p>
+Currently, the <i>Constraints:</i> element in <sref ref="[time.clock.system.members]"/> for the member typedef
+`system_clock::rep` imposes a requirement for the implementation, without establishing any condition for user 
+code. Perhaps it's wrong to use a <i>Constraints:</i> element there.
+</p>
+</discussion>
+
+<resolution>
+<p>
+This wording is relative to <paper num="N5008"/>.
+</p>
+
+<ol>
+
+<li><p>Modify <sref ref="[time.clock.system.members]"/> as indicated:</p>
+
+<blockquote>
+<pre>
+using system_clock::rep = <i>unspecified</i>;
+</pre>
+<blockquote>
+<p>
+-1- <del><i>Constraints:</i></del><ins>The implementation shall ensure that</ins> 
+<tt>system_clock::duration::min() &lt; system_clock::duration::zero()</tt> is <tt>true</tt>.
+[<i>Note 1</i>: This implies that `rep` is a signed type. &mdash; <i>end note</i>]
+</p>
+</blockquote>
+</blockquote>
+</li>
+
+</ol>
+</resolution>
+
+</issue>