Re: Type inference and overloaded functions

[Namespace]

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. 
:/