#dbugfix Issue 16486 200$

[Kagamin]

On Friday, 30 March 2018 at 13:56:45 UTC, Stefan Koch wrote:
> Ah that is an interesting bug which further demonstrates that 
> templates are a tricky thing :)
> Basically you cannot _generally_ proof that one template just 
> forwards to another.
> Therefore you have to create separate types.
> And since you create separate types the alias is not an alias 
> but a separate template.
> Solving this may be possible for special cases but in the 
> general case is infeasible.

If a template is used as a type it should be resolved to a type, 
no? And template resolves to a type in a straightforward way. 
Where does it fail? Judging by the error message "cannot deduce 
function from argument types !()(TestType!int)" it does 
successfully resolve alias to a type.