gcc/testsuite/g++.dg/template/unify2.C

   1 // { dg-do compile }
   2
   3 template<int I> void f1 (char [][I+1]) {}
   4 template<int I> void f2 (char [][I+0]) {}
   5 template<int I> void f3 (char [][I]) {}
   6 template<int I> void f4 (char [][I-0]) {}
   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" }