不寻常的范围解析运算符

今天重构一些 C++ 代码时，我得到了一些代码，可归结为以下内容

class x
{
  public:
    void x::y();
};

是否x::范围解析运算符在这里做任何事情，这是一个错误，还是其他什么。我最好的猜测是，它是一些自动完成功能留下的人工制品，但我很想知道我是否遗漏了任何东西。使用的编译器是VS2010 SP1。

这是一个错误，大多数编译器都会拒绝它。例如，GCC says http://ideone.com/fXVgRm

prog.cpp:4:10: error: extra qualification ‘x::’ on member ‘y’ [-fpermissive]
     void x::y();
          ^

C++11 8.3/1 不允许使用冗余限定符：

声明者 ID不具备资格除了在其类外部定义成员函数或静态数据成员、在其名称空间外部定义或显式实例化名称空间的函数或变量成员、在其名称空间外部显式特化的定义或作为另一个类或命名空间的成员的友元函数的声明。

这些例外均不适用于其类内的成员声明。