This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of WP status.
Section: 18.5.2 [concept.booleantestable] Status: WP Submitter: Davis Herring Opened: 2020-03-24 Last modified: 2020-11-09
Priority: 0
View all issues with WP status.
Discussion:
18.5.2 [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.
[2020-04-18 Issue Prioritization]
Status set to Tentatively Ready after six positive votes on the reflector.
[2020-11-09 Approved In November virtual meeting. Status changed: Tentatively Ready → WP.]
Proposed resolution:
This wording is relative to N4861.
Modify 18.5.2 [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-inline
is a member of the samenamespace as D, and X contains at least one template parameter that participates in template argument deduction. […]