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.