This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of C++17 status.
Section: 20.15.3 [meta.type.synop] Status: C++17 Submitter: Tim Song Opened: 2016-01-07 Last modified: 2017-07-30
View other active issues in [meta.type.synop].
View all other issues in [meta.type.synop].
View all issues with C++17 status.
20.15.3 [meta.type.synop]/1 only prohibits adding specializations of class templates in <type_traits>. Now that we have _v variable templates, this prohibition should apply to them as well.
[2016-02, Issues Telecon]
P0; move to Tentatively Ready.
This wording is relative to N4567.
Edit 20.15.3 [meta.type.synop]/1 as indicated:
-1- The behavior of a program that adds specializations for any of the
classtemplates defined in this subclause is undefined unless otherwise specified.