Proposed resolution:

Change all the traits in question following this pattern:

T is a trivial type (3.9) or a class type with a trivial default constructor (12.1), or an array of such a class type.

i.e., add a comma and delete a "class."

Rationale:

The wording is OK as is, since an array of a trivial type is a trivial type. Project editor may wish to accept the suggested wording as editorial.

[ 2009-10 post-Santa Cruz: ]

An array of a trivial type is a trivial type.

Mark as Tentatively NAD Editorial. The wording is OK as is, since an array of a trivial type is a trivial type, but the wording as proposed might be clearer.

Table 43 defines a number of traits that yield true for arrays of class types with the trait's property, but not arrays of other types with that property. For example, has_trivial_default_constructor:

T is a trivial type (3.9) or a class type with a trivial default constructor (12.1) or an array of such a class type.