Is it legal to have a function taking two aliased slices?

[ponce via Digitalmars-d-learn]

Example:
     void process(float[] input, float[] output)
     {
       // do stuff
     }


I'd like to sometimes have overlapping slices, and don't want the 
compiler to assume they do not overlap.