Почему компилятор пытается создать экземпляр шаблона, который я фактически не создаю где-либо?

Обновлено ниже.
Ниже приведен весь код, который у меня есть на моем main.cpp:

template<class T>
struct other_traits;

template<class T>
struct some_traits{
    typedef decltype(&T::operator()) Fty;
    typedef typename other_traits<Fty>::type type;
};

int main(){
}

Но я получаю следующие ошибки в Visual Studio 2010, а g++ компилируется просто отлично:

src\main.cpp(9): ошибка C2146: синтаксическая ошибка: отсутствует ';' перед идентификатором 'type'
--src\main.cpp(10): см. ссылку на экземпляр шаблона шаблона 'some_traits<T>', скомпилированный
src\main.cpp(9): ошибка C2868: 'some_traits<T>::type': незаконный синтаксис для использования-объявления; ожидаемое квалифицированное имя

(Мне нравится этот последний, общий wtf.)

Можно ли считать это ошибкой в ​​VC10 или есть ли веская причина для раннего создания экземпляра? Или это ошибка с decltype, которая заставляет компилятор думать, что Fty не является зависимым именем?

Обновление. Я пытался обмануть компилятор, думая, что Fty является зависимым именем, использующим базовый класс для наследования:

template<class T>
struct other_traits;

template<class R, class C>
struct other_traits<R (C::*)()>{
    typedef R type;
};

template<class Fty>
struct base_traits{
    typedef typename other_traits<Fty>::type type;
};

template<class T>
struct some_traits
    : public base_traits<decltype(&T::operator())>
{};

Но компилятор все равно пытается создать/скомпилировать все на месте, извергая эти ошибки:

src\main.cpp(13): error C2039: 'type' : is not a member of 'other_traits<T>'
          with
          [
              T=
          ]
          src\main.cpp(19) : see reference to class template instantiation 'base_traits<Fty>' being compiled
          with
          [
              Fty=
          ]
          src\main.cpp(19) : see reference to class template instantiation 'some_traits<T>' being compiled
src\main.cpp(13): error C2146: syntax error : missing ';' before identifier 'type'
src\main.cpp(13): error C4430: missing type specifier - int assumed. Note: C++ does not support default-int
src\main.cpp(13): error C2602: 'base_traits<Fty>::type' is not a member of a base class of 'base_traits<Fty>'
          with
          [
              Fty=
          ]
          src\main.cpp(13) : see declaration of 'base_traits<Fty>::type'
          with
          [
              Fty=
          ]
src\main.cpp(13): error C2868: 'base_traits<Fty>::type' : illegal syntax for using-declaration; expected qualified-name
          with
          [
              Fty=
          ]

Обратите внимание, что параметры шаблона пусто. Любые идеи?

Ответы

template<class T>
struct other_traits; // <-- I don't see a "type" attribute in this struct

template<class T>
struct some_traits{
    typedef decltype(&T::operator()) Fty;
    typedef typename other_traits<Fty>::type type; // <-- Here you are trying to access other_traits<T>::type which doesn't exist
};

int main(){
}