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.

4068. Terminology for objects whose types model a concept

Section: 16.4.5.11 [res.on.requirements], 16.3.2.3 [structure.requirements] Status: New Submitter: Jonathan Wakely Opened: 2024-04-19 Last modified: 2025-10-14

Priority: 3

View other active issues in [res.on.requirements].

View all other issues in [res.on.requirements].

View all issues with New status.

Discussion:

During P2300 review the suggestion was raised that it might be helpful to be able to talk about "an object that models Concept" instead of "an object whose type models Concept" or other more verbose forms.

[2025-10-14; Reflector poll]

Set priority to 3 after reflector poll.

"OK with finding a way to shorten this, but not as suggested above. Overloading the term "models Concept" for both objects and types would be confusing."

"Just say 'a stoppable-source object', or 'a stoppable_token object'"

Proposed resolution: