`nullptr_t`应该成为全局名称空间的一部分吗？

我看到微软的stddef.h定义是nullptr_t这样的：

namespace std
{
    typedef decltype(__nullptr) nullptr_t;
}

using ::std::nullptr_t;

该usingdecleration内喷射nullptr_t到全局命名空间。我在标准中找不到任何可以做到的事情。

我还看到GCC nullptr_t 中没有全局名称空间。

两种实现都可以被允许还是其中一种错误？ 不好意思，GCC的行为与CL相同。

编辑：与相同cstddef，下面的代码也可以用VC编译（也在线）。

#include <cstddef>

int main()
{
    nullptr_t nil = nullptr;
}