为什么即使直到最后才定义实际类型,依赖名称也可以被认为是完整的

Consider this example

template <class T>
void Yeap(T);

int main() {
    Yeap(0);
    return 0;
}

template <class T>
void YeapImpl();

struct X;

template <class T>
void Yeap(T) {
    YeapImpl<X>(); // pass X to another template
}

template <class T>
void YeapImpl() {
    T().foo();
}

struct X {
    void foo() {}
};

struct X 直到最后才被定义。我曾经相信,所有odr使用的名称在实例化时都必须是完整的。但是在这里,编译器如何在定义它之前将它视为一个完整的类型呢?

我在cppreference中检查了依赖名称和函数模板实例化的绑定规则和查找规则,但是没有一个能够解释这里发生的事情。