Proposed resolution (November, 2010) [SUPERSEDED]:

1. Add a new paragraph at the end of 13.8.3.4 [temp.dep.constexpr]:

An id-expression is value-dependent if it names a member of an unknown specialization.

2. Change 13.8.3.5 [temp.dep.temp] paragraphs 2-3 as follows:

An integral A non-type template-argument is dependent if its type is dependent or the constant expression it specifies is value-dependent.

A non-integral Furthermore, a non-type template-argument is dependent if its type is dependent or it has either of the following forms

qualified-id

& qualified-id

and contains a nested-name-specifier which specifies a class-name that names a dependent type the corresponding non-type template-parameter is of reference or pointer type and the template-argument designates or points to a member of the current instantiation or a member of a dependent type.