There is not yet a design for this – but a related area is the work to create a BorrowingSequence protocol (pitch here) that will allow for loops based on serving Spans of elements from a sequence – unlocking the ability to have for..in iteration of noncopyable types and elements.
The path from there could be to have a mutable version of that protocol, that served up MutableSpans, which could then be mutated.