Re: [boost] [mpl] has_template_xxx patch

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.