It would really break the GC or the type system if you did that. If you return a single point out of a 100k long array, it has to pin the array? How do you track the GC root? Struct array elements need back pointers?

Conversely, if it auto-copies now you have to contend with runtime state changing the pass semantics?