If we had a good idea of what type of array was being spread, we could emit a CheckStructure in such a way that we could emit more efficient machine code for the spread. We'd also be able to prove it could be spread fast (e.g, not observable iterator protocol).