Type inference and overloaded functions

[Namespace]

On Friday, 13 December 2013 at 00:37:36 UTC, Namespace wrote:
> Why don't you discuss on github?
>
> And finally I did it:
>
> ----
> auto[$] a_arr2 = dyn_arr[4 .. 8];
> assert(is(typeof(a_arr2) == int[4]));
> ----
>
> I will make a Pull Request tomorrow. Hope my code isn't that 
> bad. :/

Done:
https://github.com/D-Programming-Language/dmd/pull/2958