为何隐式实例化函数模板可使用未声明符号？编译器合规性探讨

template <typename T>
void fun(T t) {
    // foo 和 bar 尚未声明，但这没问题，
    // 因为对于类类型 T 可以通过ADL找到它们
    foo(t);
    bar(t);
}

struct A {};

void foo(A);

// 隐式实例化 fun<A>(A)，实例化点应在 call_fun 之后
void call_fun() {
    fun(A{});
}

/* 隐式实例化的展开应该是这样：

template void fun<A>(A t) {
    foo(t); // 合法，foo 已声明
    bar(t); // 不合法，bar 尚未声明
}
*/

// 取消下面的显式实例化注释会让代码非法
// template void fun(A);

void bar(A);

我对Clang的行为存在疑惑：

• 显式实例化fun<A>(A)时，Clang会因bar(A)尚未声明而拒绝编译
• 但同一位置的隐式实例化，Clang却允许调用bar(A)

GCC和MSVC即使开启显式实例化也能编译通过，只有Clang会报错。但对照C++标准的描述，我不确定哪种实例化方式符合要求：

对于函数模板特化、成员函数模板特化，或类模板的成员函数/静态数据成员特化：若该特化因被另一模板特化引用而隐式实例化，且引用上下文依赖模板参数，则该特化的实例化点为外围特化的实例化点。否则，此类特化的实例化点紧随引用该特化的命名空间作用域声明或定义之后。

——[temp.point]/1

fun<A>(A)属于函数模板特化，其实例化点应该紧随call_fun的定义之后。按照这个规则，调用bar(A)应该是非法的。

请问哪种编译器的行为是正确的？是否所有编译器都不符合标准？

内容的提问来源于stack exchange，提问作者Jan Schultke