Issue 3421 - WG21 LWG Issues
Title
Imperfect ADL emulation for boolean-testable
Status
c++23
Section
[concept.booleantestable]
Submitter
Davis Herring

Created on 2020-03-24.00:00:00 last changed 13 months ago

Messages

msg11568 (view)
Date: 2020-11-09.21:40:50

Proposed resolution:

This wording is relative to N4861.

  1. Modify [concept.booleantestable] as indicated:

    -4- A key parameter of a function template D is a function parameter of type cv X or reference thereto, where X names a specialization of a class template that has the same innermost enclosing non-inlineis a member of the same namespace as D, and X contains at least one template parameter that participates in template argument deduction. […]

msg11221 (view)
Date: 2020-11-09.00:00:00

[ 2020-11-09 Approved In November virtual meeting. Status changed: Tentatively Ready → WP. ]
msg11192 (view)
Date: 2020-04-18.00:00:00

[ 2020-04-18 Issue Prioritization ]

Status set to Tentatively Ready after six positive votes on the reflector.

msg11191 (view)
Date: 2020-04-18.12:15:01

[concept.booleantestable]/4 checks for "a specialization of a class template that is a member of the same namespace as D", which ignores the possibility of inline namespaces.

History
Date User Action Args
2023-11-22 15:47:43adminsetstatus: wp -> c++23
2020-11-09 21:40:50adminsetmessages: + msg11568
2020-11-09 21:40:50adminsetstatus: ready -> wp
2020-04-18 12:15:01adminsetmessages: + msg11221
2020-04-18 12:15:01adminsetstatus: new -> ready
2020-04-04 19:14:25adminsetmessages: + msg11192
2020-03-24 00:00:00admincreate