[Moved to DR at the November, 2014 meeting.]

Proposed resolution (February, 2014):

Change 13.8.3.3 [temp.dep.expr] paragraph 3 as follows:

An id-expression is type-dependent if it contains

• an identifier associated by name lookup with one or more declarations declared with a dependent type,

• an identifier associated by name lookup with one or more declarations of member functions of the current instantiation declared with a return type that contains a placeholder type (9.2.9.7 [dcl.spec.auto]),

• The identifier __func__ (9.5.1 [dcl.fct.def.general]) where any enclosing function is a template, a member of a class template, or a generic lambda,

• a template-id that is dependent,

• ...

The length of the __func__ array is implementation-defined but potentially depends on the signature of the function in which it occurs. However, __func__ is not listed among the type-dependent id-expressions in 13.8.3.3 [temp.dep.expr] paragraph 3.