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