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