依赖模板的名称解析不应找到没有链接的声明?

在C++标准[TEMP.Point ]中写道:

这个 实例化上下文 依赖于 模板参数是 具有外部链接的声明集 在模板的实例化点之前声明 专门从事同一翻译单位。

然后在[临时部门候选人]:

对于使用关联命名空间的查找部分 ([basic.lookup.argdep]), 仅在中找到函数声明 任何一个 模板定义上下文或 模板实例化上下文 找到了 .

是否意味着以下代码应失败:

namespace A{
    struct S{};
}

template<class T>
void g(T a){
    f(a); //f will be found by argument dependent lookup
}

namespace A{
    static void f(S); //but f doesn't have external linkage
}

void test(A::S i){
    g(i);
}
//point of instantiation of g
//A::f(S) doesn't have external linkage 
//=> so it's not in the instantiation context of template g ??

这段代码实际上是编译的,那么这个标准段落是什么意思呢?