如果原型是本地的，则使用流 I/O C++类型约束将失败

在下面的MCVE中，C++可以毫不费力地识别int可以使用流I/O读取或打印。但它认为A不可能，尽管有<<和>>的原型。

#include <iostream>
using namespace std;
template<typename T>
concept Readable = requires(std::istream& in, T& t)
{
in >> t;
};
template<typename T>
concept Printable = requires(std::ostream& out, T t)
{
out << t;
};
int main()
{
class A {};
ostream& operator<< (ostream&, const A&);
istream& operator>> (istream&, A&);
std::cout << Readable<int> << Printable<int> << 'n';
std::cout << Readable<A>   << Printable<A>   << 'n';
return 0;
}

输出为

11
00

如果我使原型和类全局化，则问题已解决(它打印11，而不是00，用于输出的第二行(。

显然，我会正常地使原型全局化。但是我不明白范围规则如何让约束知道它的定义位置，只要它被定义。 当原型是本地时，为什么它不起作用？