下面是一个结构体，其中的模板化构造函数是外部定义的：

template <typename T>
struct Foo {
  template <typename F>
  Foo(F f);
};

template <typename T>
template <typename F>
Foo<T>::Foo(F f) {}

在-std=c++20下clang is happy with this，如果我把add a requires clause给模板化的构造函数，它仍然是happy，但是如果requires子句提到了struct，它就是not happy：
x一个一个一个一个x一个一个二个x
海湾合作委员会does accept this。
clang拒绝它是对的吗？如果是，标准的哪一部分这么说？
如果你想知道为什么我有一个requires子句来引用被构造的类型，那就是为了消除构造函数和移动构造函数的歧义，这样当F和Foo相同时，一个更大的requires表达式中的下一个requires子句就不会被求值。否则，它递归地依赖于自己。实际的代码更复杂。并且接受到F的转发引用。