Re: [c++-concepts] constrained friends redux

[Jason Merrill <jason at redhat dot com>]

On 10/04/2013 09:20 AM, Andrew Sutton wrote:
> > >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.

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.

Jason