Объявление класса в той же области, что и при использовании компиляции объявлений в GCC, но не в MSVS

Я считаю, что программа плохо сформирована. [basic.scope.declarative]/4 говорит:

Учитывая набор объявлений в одной декларативной области, каждое из которых указывает одно и то же неполное имя,

- все они должны ссылаться на один и тот же объект или все должны ссылаться на функции и шаблоны функций; или

- ровно одно объявление должно объявлять имя класса или имя перечисления, которое не является именем typedef, а все остальные объявления должны ссылаться на одну и ту же переменную или перечислитель или все ссылаться на функции и шаблоны функций; в этом случае имя класса или имя перечисления скрыто

Два объявления неполного имени A относятся к разным объектам, оба из которых являются классами.

(Интересно, что ни GCC 6.0, ни Clang 3.7, похоже, не диагностируют его таким образом. Оба принимают код в том виде, в котором он написан (не диагностируя объявление двух разных классов с одинаковым именем). Если вы добавите X::A a; в тело main, тогда Clang жалуется о неполном типе X::A.)

Не совсем уверен, но вы можете попробовать что-то вроде этого:

namespace X { class A; }

namespace Y 
{
  class X::A {}; 
}

int main() 
{
  return 0;
}