[Moved to DR at the May, 2015 meeting.]

Proposed resolution (November, 2014):

1. Change 13.8.3.2 [temp.dep.type] paragraph 8 as follows:

A type is dependent if it is

• ...

• an array type constructed from any whose element type is dependent type or whose size bound (if any) is specified by a constant expression that is value-dependent,

• ...

2. Change 13.8.3.4 [temp.dep.constexpr] paragraph 1 as follows:

Except as described below, a constant an expression used in a context where a constant expression is required is value-dependent if any subexpression is value-dependent.

13.8.3.4 [temp.dep.constexpr] paragraph 1 begins,

Except as described below, a constant expression is value-dependent if...

However, this terminology is misleading, because “constant expression” is now defined in terms of evaluation, and a value-dependent expression cannot be evaluated.