[boost] Re: Member function detection: VC7.1 workaround needed

From: Jonathan Turkanis (technews_at_[hidden])
Date: 2004-11-16 10:51:10

"David Abrahams" <dave_at_[hidden]> wrote in message
news:upt2ekmf9.fsf_at_boost-consulting.com...
> "Jonathan Turkanis" <technews_at_[hidden]> writes:
>
> > 1. I believe it is non-conforming, since explicitly specifying the template
> > argument Type should suppress template argument deduction and therefore
SFINAE.
>
> I don't think that's the case.  Recall that SFINAE also works on
> partial class template specializations.

I think you're right. I should have reread 14.8.2 before making this claim.

Jonathan