| // PR c++/58047 | |
| template <int N> | |
| struct print_arg { }; | |
| struct const_holder { | |
| static const int CONSTANT = 42; | |
| }; | |
| template <typename T> | |
| struct identity { | |
| typedef T type; | |
| }; | |
| template <class T> | |
| struct test_case : public identity<T> { | |
| using typename identity<T>::type; | |
| print_arg<type::CONSTANT> printer; | |
| }; | |
| template struct test_case<const_holder>; |