Template with default parameter

[Andrey Zherikov]

On Friday, 11 March 2022 at 12:53:56 UTC, Adam D Ruppe wrote:
> On Friday, 11 March 2022 at 12:01:27 UTC, Andrey Zherikov wrote:
>> There is some inconsistency between templates and template 
>> functions as this works as I want to:
>
> Yeah, functions have the special feature of implicit 
> instantiation from the function arguments. No other template 
> do, if you want an instance there, you need to specify it as a 
> !(). And since functions can't return aliases to types you 
> can't use that to get around it. There's no way to do what you 
> want to do, you either need to write the !() or use a different 
> alias name.

Thanks for explanation!