1 template<typename> struct A;
2 
3 template<> struct A<char>
4 {
5   static const char i = 1;
6 };
7 
8 template<typename T> struct B
9 {
10   static const int j = A<T>::i;
11   static const int k = int(j);
12   int x[k];
13 };
14 
15 B<char> b;
16