Proposed resolution:

This wording is relative to N4606.

1. Add a new paragraph add the end of [derivation] as indicated:

   -?- All types specified in the C++ standard library shall be non-final types unless otherwise specified.

[ 2016-08 - Chicago ]

Thurs PM: Moved to Tentatively Ready

[ 2016-08-04 Chicago LWG ]

LWG discusses and expresses preference for a more general, Library-wide, resolution. Walter and Nevin provide a new Proposed Resolution consistent with such guidance.

[ 2016-08-03 Chicago LWG ]

Walter, Nevin, and Jason provide initial Proposed Resolution.

Previous resolution [SUPERSEDED]:

This wording is relative to N4606.

1. Change [meta.rqmts] as indicated:

   -1- A UnaryTypeTrait describes a property of a type. It shall be a non-final class template […]

   -2- A BinaryTypeTrait describes a relationship between two types. It shall be a non-final class template […]

   -3- A TransformationTrait modifies a property of a type. It shall be a non-final class template […]

We should make it clear that all standard UnaryTypeTraits, BinaryTypeTraits and TransformationTraits are not final.

Otherwise it is not safe to use them as arguments to a template like this:

template<typename C1, typename C2>
struct conjunction
  : conditional_t<C1::value, C2, C1>
{ };