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?