Title
Ill-formed, no diagnostic required on runtime behavior
Status
new
Section
[linalg.helpers][concept.swappable][iterator.cust.swap]
Submitter
Jiang An

Created on 2024-12-18.00:00:00 last changed 2 days ago

Messages

Date: 2025-02-15.00:00:00

[ 2025-02-07; Reflector poll ]

Set priority to 3 after reflector poll.

Date: 2024-12-18.00:00:00

Several exposition-only function objects in [linalg.helpers] are specified with strange wording — "If the function selected by overload resolution does not return […], the program is ill-formed, no diagnostic required;". These conditions don't seem to be static properties because what the selected function returns can be completely dependent on the runtime environment and input.

Likewise, [concept.swappable] and [iterator.cust.swap] also contain such weird usage. Presumably we should say the behavior is undefined in these cases.

History
Date User Action Args
2025-02-07 22:39:43adminsetmessages: + msg14619
2024-12-18 00:00:00admincreate