1// PR c++/64455 2// { dg-do compile { target c++14 } } 3 4template<typename Type> 5constexpr bool IsType = true; 6 7template <bool b, class T> struct Test 8{ 9}; 10 11template <class T> 12struct Test<true, T> 13{ 14 typedef T type; 15}; 16 17template<class T> 18struct X { 19 typedef typename Test<IsType<T>,T>::type type; 20}; 21 22int main() 23{ 24 X<int>::type t; 25} 26