1 // PR c++/34397
2 
3 template<typename T, int = T()[0]> struct A // { dg-error "subscripted" }
4 {
5   typedef A<T> B;
6 };
7 
8 A<int> a; // { dg-error "template argument 2 is invalid" }
9