1// { dg-do run  }
2// Adapted from testcase by Oskar Enoksson <osken393@student.liu.se>
3
4extern "C" void abort();
5
6template<class T0>
7class A {
8public:
9  typedef T0 T;
10};
11
12template<int K>
13class B {
14  typedef A<char[K]> BC;
15};
16
17template<int N, int M>
18class C {
19public:
20  typedef A<char[M]> AC;
21};
22
23int main() {
24  if (sizeof(C<3,7>::AC::T) != 7)
25    abort();
26}
27