| // Origin: PR c++/55663 | |
| // { dg-do compile { target c++11 } } | |
| template <typename> | |
| constexpr bool the_truth () { return true; } | |
| template <bool> | |
| struct Takes_bool { }; | |
| template<bool B> | |
| using Alias = Takes_bool<B>; | |
| template<typename T> | |
| struct test { using type = Alias<the_truth<T>()>; }; | |
| int main () { | |
| test<int> a; | |
| return 0; | |
| } |