>>> >Perhaps you mean that it must match a fully-instantiated function, so >>> > any >>> >constraints on the templates were considered during >>> >determine_specialization. > > >> This seems like a simple comment fix, but there's a longer explanation >> of what I want (see below). Would this be more appropriate? >> >> // Do not allow constrained friend template specializations. >> >> The intent is stronger than to say it must match something. > > > By "must" I meant that whatever it matches could only be a > fully-instantiated function.
I see what you mean. I was caught up in the wrong part of the sentence.. But yes, that's right. > But I guess the main reason for disallowing constraints here is the same as > for explicit specializations and non-template functions; non-dependent > constraints don't really make any sense. That's the intent. Okay to commit? Andrew
friends-3.patch
Description: Binary data