On Thursday, 19 April 2018 at 17:55:47 UTC, Simen Kjærås wrote:
Your first example defines two templates (which are overloads of the same name), the second only one. There's no ambiguity there.
So, do you mean, that the constraint belongs to the interface of a template?
