bug msvc2010 ? fatal error C1001: Внутренняя ошибка в файле компилятора

#include <type_traits>
 
template<class t> t obj();
 
// msvc2010 or newest
template<class From, class To> struct has_cast_
{
    #define dEXPR                                  \
        typename std::add_pointer<                 \
            decltype(static_cast<to>(obj<from>())) \
        >::type                                    \
 
    template<class from, class to> static
        decltype(static_cast<to>(obj<from>()), std::true_type())
        check(dEXPR);
 
    #undef dEXPR
 
    template<class, class> static
        std::false_type check(...);
 
    typedef decltype(check<From, To>(0))
        type;
};
 
template<class from, class to> struct has_cast 
    : has_cast_<from, to>::type
{};
 
#include <iostream>
#include <string>
 
typedef std::string str_t;
static_assert( has_cast<int, int>::value  , "INT_CAST_ERROR");
static_assert( has_cast<int, float>::value, "INT_CAST_ERROR");
static_assert(!has_cast<str_t, int>::value, "STR_CAST_ERROR");
 
int main()
{
    std::cout << "[ALL TESTS PASSED]\n";
}

#include <type_traits>
 
// msvc2010 or newest
template<class from, class to>
using has_cast 
    = ::std::is_convertible<from, to>;
 
#include <iostream>
#include <string>
 
typedef std::string str_t;
static_assert( has_cast<int, int>::value  , "INT_CAST_ERROR");
static_assert( has_cast<int, float>::value, "INT_CAST_ERROR");
static_assert(!has_cast<str_t, int>::value, "STR_CAST_ERROR");
 
int main()
{
    std::cout << "[ALL TESTS PASSED]\n";
}