This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of New status.

4288. The Constraints: element in [time.clock.system.members] is probably wrong

Section: 30.7.2.2 [time.clock.system.members] Status: New Submitter: Jiang An Opened: 2025-06-19 Last modified: 2025-07-05

Priority: Not Prioritized

View all issues with New status.

Discussion:

Currently, the Constraints: element in 30.7.2.2 [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 Constraints: element there.

Proposed resolution:

This wording is relative to N5008.

  1. Modify 30.7.2.2 [time.clock.system.members] as indicated:

    using system_clock::rep = unspecified;
    

    -1- Constraints:The implementation shall ensure that system_clock::duration::min() < system_clock::duration::zero() is true. [Note 1: This implies that rep is a signed type. — end note]