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.

### 2581. Specialization of `<type_traits>` variable templates should be prohibited

Section: 20.15.3 [meta.type.synop] Status: C++17 Submitter: Tim Song Opened: 2016-01-07 Last modified: 2017-07-30

Priority: 0

View other active issues in [meta.type.synop].

View all other issues in [meta.type.synop].

View all issues with C++17 status.

Discussion:

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.

Proposed resolution:

This wording is relative to N4567.

1. Edit 20.15.3 [meta.type.synop]/1 as indicated:

   > -1- The behavior of a program that adds specializations for any of the class templates defined in this subclause is undefined unless otherwise specified.