标准是否认为模板类的非模板成员本身是“模板”?

考虑下面的代码:

#include <type_traits>

template <typename T> struct A
{
    static_assert(!std::is_same_v<int, T>);
};

template<typename T> struct B
{
    void foo()
    {
        A<int>{};
    }
};

int main() {}

它来自 this question 关于俄语StackOverflow,询问它是否有效。

我试图引用以下内容:

[temp.res]/8.1

^8. 可以在任何实例化之前检查模板的有效性[注意:知道哪些名称是类型名称,可以通过这种方式检查每个模板的语法。[完注]

^(8.1) 无法为模板生成有效的专门化 或模板中constexpr if语句的子语句,且该模板未实例化,或

...

^{(强调矿山)}

foo() ,我推断该片段的格式不正确,NDR。

但是有人告诉我 [temp.res]/8.1 从那以后就不适用了 foo() 它本身不是模板成员函数。

cppreference 将模板类的非模板成员函数调用为“模板化实体”,但似乎不清楚它们本身是否可以被视为模板。

因此,问题是:标准是否认为模板类的非模板成员本身是“模板”?