// PR c++/64455
// { dg-do compile { target c++14 } }

template<typename Type>
constexpr bool IsType = true;

template <bool b, class T> struct Test
{
};

template <class T>
struct Test<true, T>
{
        typedef T type;
};

template<class T>
struct X {
    typedef typename Test<IsType<T>,T>::type type;
};

int main()
{
   X<int>::type t;
}