Niko pointed out that we currently do support moving out of a `[Foo, ..k]` array.

(And the borrowck just treats it imprecisely, as a potential move of
any element and thus all become inaccessible.)