\pnum
A template type argument cannot be deduced from the type of a non-type
\grammarterm{template-argument}.

\pnum
\enterexample
\begin{codeblock}
template<class T, T i> void f(double a[10][i]);
int v[10][20];
f(v);               // error: argument for template-parameter \tcode{T} cannot be deduced
\end{codeblock}
\exitexample