Parameters declared as the alias of a template won't accept the arguments of the same type.

[Ola Fosheim Grøstad]

On Tuesday, 3 May 2022 at 15:41:08 UTC, Ali Çehreli wrote:
> We also have NP-completeness.

Ok, so C++ has similar limitations when you have a template with 
an unknown parameter in a function parameter, but is this because 
it would be NPC? Also, do we know that it cannot be resolved for 
the typical case in reasonable time? Maybe one can add 
constraints and heuristics that keeps it reasonable?

> No, the question is whether D is in a category of programming 
> languages that it isn't.

Fair enough, but type unification needs to be done differently 
anyway, just to support aliases being recognized in function 
calls. Why not look at what is possible before going there? 
Certainly, having something more expressive than C++ would not be 
a bad thing?