1 // PR c++/58047
2 
3 template <int N>
4 struct print_arg { };
5 
6 struct const_holder {
7   static const int CONSTANT = 42;
8 };
9 
10 template <typename T>
11 struct identity {
12   typedef T type;
13 };
14 
15 template <class T>
16 struct test_case : public identity<T> {
17   using typename identity<T>::type;
18   print_arg<type::CONSTANT> printer;
19 };
20 
21 template struct test_case<const_holder>;
22