Proposed resolution, March, 2018:

Add the following as a new bullet after 13.8.3.3 [temp.dep.expr] bullet 3.2:

• ...

• an identifier associated by name lookup with a non-type template-parameter declared with a type that contains a placeholder type (9.2.9.7 [dcl.spec.auto]),

• an identifier associated by name lookup with a variable declared with a type that contains a placeholder type (9.2.9.7 [dcl.spec.auto]) where the initializer is type-dependent,

• ...

[Accepted as a DR at the June, 2018 (Rapperswil) meeting.]

The list of type-dependent id-expressions in 13.8.3.3 [temp.dep.expr] paragraph 3 should include the case when a static data member is declared with the auto type specifier and the initializer is dependent.