Rust’s ownership type system limits the flexibility of safe parallel array manipulation. In particular, safe code is con- fined to partitioning arrays into disjoint, contiguous slices. We present a statically verified, thread-safe array API that enables arbitrary parallel access patterns. This unlocks more expressive parallelism in safe Rust without relying on run- time checks or unsafe code.