Template type deduction and specialization

[Daniel Kozak via Digitalmars-d-learn]

On Wednesday, 20 May 2015 at 09:35:48 UTC, Jonathan M Davis wrote:
>
> Well, if
>
> printVal!(int*)(px);
>
> prints 100, then that's a bug. It should print the address. In 
> fact, it
> should be _impossible_ for the second overload of printVal to 
> ever be
> instantiated

IMHO thats not true, it should print 100. This is what spec say.

void printVal(T : T*)(T* t) {
     writeln(*t);
}

T is deduce to be int so we have

void printVal(int* t) {
     writeln(*t);
}

which will print value not address