Type inference and overloaded functions

[Namespace]

On Wednesday, 11 December 2013 at 19:51:24 UTC, bearophile wrote:
> Namespace:
>
>> void main() {
>> 	int[] arr0 = [1, 2, 3];
>> 	assert(is(typeof(arr0) == int[]));
>> 	assert(arr0 == [1, 2, 3]);
>>
>> 	int[3] arr1 = [4, 5, 6]s;
>> 	assert(is(typeof(arr1) == int[3]));
>> 	assert(arr1 == [4, 5, 6]);
>>
>> 	int[] arr2 = [7, 8, 9]s;
>> 	assert(is(typeof(arr2) == int[/*3*/]));
>> 	assert(arr2 == [7, 8, 9]);
>>
>> 	int[$] arr_a1 = [54, 74, 90, 2010];
>> 	assert(is(typeof(arr_a1) == int[4]));
>> 	assert(arr_a1 == [54, 74, 90, 2010]);
>>
>> 	int[$] arr_a2 = [2010, 90, 74, 54]s;
>> 	assert(is(typeof(arr_a2) == int[4]));
>> 	assert(arr_a2 == [2010, 90, 74, 54]);
>>
>> 	foo([1, 2, 3]);
>> 	foo([4, 5, 6]s);
>>
>> 	bar([44, 55, 66]s);
>>
>> 	auto arr3 = [111, 222, 333];
>> 	assert(is(typeof(arr3) == int[]));
>>
>> 	auto arr4 = [444, 555, 666]s;
>> 	assert(is(typeof(arr4) == int[3]));
>>
>> 	quatz([3, 2, 1]);
>> 	quatz([8, 7, 6]s);
>> }
>
> Very good, this seems a step forward for D. Are you going to 
> create two pull requests for dmd? (it will not be accepted 
> before dmd 2.066).

I'm unsure. I'm not that familiar with dmd at all, so maybe some 
more advanced guy like Kenji should review my code and create an 
own, better pull. What do you mean?

>
> Is it also guarding against this?
> http://d.puremagic.com/issues/show_bug.cgi?id=3849
>
> That in short is this mistake (this currently doesn't give 
> errors):
>
> string[3] a = ["red""green","blue"];
> void main() {}
>
> Bye,
> bearophile

Not yet tested, but I will. :)