// { dg-options "" } template <class T> struct A {}; struct B { static const int s; A<int[s]> a; // { dg-error "variably modified|no type|trying to instantiate" } }; const int B::s=16; B b;