| // 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; | |
| } |