On Monday, 19 September 2016 at 20:21:30 UTC, Jonathan Marler wrote:

Yes that's why the template cannot deduce the parameters. The question is, when the parameters cannot be deduced, and they are all optional, would it be reasonable for the compiler to infer that the user intended to use the default parameters?

This would be a destabilizing language-change and require even more logic for templates.

I don't mind saying that any further complication of template overload resolution is a rather unpleasant for me to think about.

Reply via email to