From: Peter Dimov (pdimov_at_[hidden])
Date: 2007-03-30 11:17:05
Daniel Walker wrote:
> On 3/30/07, Tom Lahoda <tlahoda_at_[hidden]> wrote:
>> Your foo struct only has one template argument
>
> I know. My question is should that cause an error or a substitution
> failure, which is not an error.
In your example:
template<class T> struct foo {};
template<class T, class U> void f( foo<T, U> ) {}
there are no substitutions. Your f definition is simply ill-formed.