1typedef int (A)[];
2
3template<class T> void f(T (*)[1]); // { dg-error "array" }
4
5int main() {
6  f<int[]>(0);			// { dg-error "no match" }
7}
8