Operators overloading

[matovitch]

Fisrt, thank you for your clear answer.

On Sunday, 19 May 2013 at 09:04:23 UTC, Jonathan M Davis wrote:
> Nothing inside of the function - including static ifs - is 
> considered in overloading.

I understand but it isn't about something which is inside the 
function : it is about its signature.

I agree that sometimes it might be useful to use more than a list 
of or, so the idea of template specilization over a list is 
stupid and theses template constraints are useful (even if I 
don't like the syntax, I couldn't imagine a better one).