Found while triaging the nll-1 crater run, extracted from fscm-0.1.1.
Playground
Accessing the first element in the array generates an error about the second element borrowing _ more than once at a time. Mutating the second element compiles fine though.