template <typename T, typename U> struct is_convertible_test {
    typedef char small_t;
    class Big { char dummy[2]; };
    static small_t test(U);
    static Big test(...);
    static T make_T();


    enum {
        value = std::is_same<decltype(test(make_T())), small_t>::value
    };
};