Simple template:

T test(T)() { return T.init; }

This code give error:

int myVar;
myVar = test();

Why? Can't compiler guess T == int?

Reply via email to