3 template <const int N> struct A { };
4 template <class T> struct B {
5 static const int c; // { dg-message "not initialized with a constant expression" }
6 typedef A<B<T>::c> C; // { dg-error "constant expression|template argument" }
8 template <class T> const int B<T>::c = sizeof (T);
10 template <const int N> struct D { };
11 template <class T> struct E {
12 static const int c = sizeof (T);
13 typedef D<E<T>::c> F; // OK