Template type deduction and specialization

[Mike Parker via Digitalmars-d-learn]

On 5/20/2015 6:35 PM, Daniel Kozak wrote:

> DOCS: http://dlang.org/template.html#function-templates
> says: Function template type parameters that are to be implicitly
> deduced may not have specializations:

Thanks. For the record, the example there is the exact same case.

void Foo(T : T*)(T t) { ... }

int x,y;
Foo!(int*)(x);   // ok, T is not deduced from function argument
Foo(&y);         // error, T has specialization

I was looking for the answer in higher up the page in the 
Specializations section under Argument Deduction. Didn't think to look 
for it under Function Templates.