1 // { dg-do compile }
2 
f1(char[][I+1])3 template<int I> void f1 (char [][I+1]) {}
f2(char[][I+0])4 template<int I> void f2 (char [][I+0]) {}
f3(char[][I])5 template<int I> void f3 (char [][I]) {}
f4(char[][I-0])6 template<int I> void f4 (char [][I-0]) {}
f5(char[][I-1])7 template<int I> void f5 (char [][I-1]) {}
8 
9 template void f1 (char [][6]); // { dg-error "does not match" }
10 template void f2 (char [][6]); // { dg-error "does not match" }
11 template void f3 (char [][6]);
12 template void f4 (char [][6]); // { dg-error "does not match" }
13 template void f5 (char [][6]); // { dg-error "does not match" }
14