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?