On 09/21/2013 08:52 AM, Andrew Sutton wrote:
It is wrong, but not for the reasons I gave. This only happens when you try to constrain a friend function that declares a specialization, which happens to be completely separate from the previously declared template.
I'm going to disallow the ability to declare constrained friend specializations. They don't really make sense.
Hmm, it seems to me the constraints on the specialization help to select the template the specialization belongs to. I'm not sure that would be useful, but I don't see a need to specifically prevent it.
Jason
