summaryrefslogtreecommitdiff
path: root/gcc/testsuite/g++.dg/template/unify2.C
blob: e5e6d1904689f5a5de64b1f49813591d90c7a9a1 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
// { dg-do compile }

template<int I> void f1 (char [][I+1]) {}
template<int I> void f2 (char [][I+0]) {}
template<int I> void f3 (char [][I]) {}
template<int I> void f4 (char [][I-0]) {}
template<int I> void f5 (char [][I-1]) {}

template void f1 (char [][6]); // { dg-error "does not match" }
template void f2 (char [][6]); // { dg-error "does not match" }
template void f3 (char [][6]);
template void f4 (char [][6]); // { dg-error "does not match" }
template void f5 (char [][6]); // { dg-error "does not match" }