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).
