Type inference and overloaded functions

[bearophile]

Ali Çehreli:

> But look at the assertion: the type of the *slice* arr2 is 
> int[3]. :)

I didn't notice that. It looks strange... I don't understand it.

Bye,
bearophile