[Issue 5793] Types can't be inferred from template argument types

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=5793

--- Comment #2 from Vladimir Panteleev <thecybershadow at gmail.com> ---
Simplified example:

/////////// test.d //////////
template Identity(T)
{
    alias Identity = T;
}

void fun(T)(Identity!T value)
{
}

void main()
{
    fun(5);
}
/////////////////////////////

--