On Monday, 15 October 2018 at 06:16:34 UTC, Alex wrote:
On Monday, 15 October 2018 at 04:51:39 UTC, Sobaya wrote:[...]Removing constraint, but retaining specialization should be enough, no? Then, func is still a template, requiring the argument to be convertible to an int. When S is passed, then, it is checked, if it convertible, and because of the alias it is. Still, passed value has the type of S. however, func can handle value directly, as it were an int.
Thank you!
