Avoiding Range Checks in Slice Expressions

[Nordlöw]

Does DMD currently avoid range checks in array slice expressions 
such as

f(x[0..$/2])
f(x[$/2..$])
typically found in divide-and-conquer algorithms such as 
quicksort?

If not, what would it require to implement it?