Вот простейший пример.

struct TestSel
{
  template <typename T>
  struct bind_ { typedef T type; };
};

template <typename SomeSel>
struct test
{
    typedef typename SomeSel::bind_<int>::type sel_t; //fatal error C1001: INTERNAL COMPILER ERROR
};

int main()
{
    test<TestSel> test1;
}

Выдаёт INTERNAL COMPILER ERROR при попытке получить тип из селектора.
Как сделать на этом гадстве селектор типа???