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

"David Abrahams" <dave@boost-consulting.com> wrote in message news:upt2ekmf9.fsf@boost-consulting.com...

"Jonathan Turkanis" <technews@kangaroologic.com> 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