Templates array detection

[bearophile]

ixid:

> It seems very similar to a function overload to me. Why is 
> picking T[] in preference to T different to picking uint over 
> ulong for an overloaded function used on a uint?

The name T can refer to any type, including a U[], while built-in 
types like uint are atomic, they can't refer to a composed type.
And there is difference between a built-in type where both the 
programmer and the compiler know about, and generic user defined 
types. And template types are used in an exact way, unlike 
function overloading they don't perform implicit type conversions.

Bye,
bearophile