对于从未实例化的模板中不正确使用非依赖名称，是否需要诊断？

问：

以下是该标准对模板定义中非依赖名称的说明：

模板定义中使用的非依赖名称使用通常的名称查找找到，并在使用它们时进行绑定。

[示例1：

void g(double); 
void h();

template<class T> class Z { 
public:   
  void f() {
    g(1);           // calls g(double)
    h++;            // ill-formed: cannot increment function; this could be diagnosed
                    // either here or at the point of instantiation   
  } 
};

void g(int);        // not in scope at the point of the template definition, not considered for the call g(1) 

— 结束示例]

我对评论说“格式错误：......这可以在这里或实例化时诊断出来”。如果实现选择了后者，但没有模板的实例化，该怎么办？在哪里可以诊断？h++;

这是否意味着这实际上是格式错误的，不需要诊断？