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.6.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,

• ...