> Not necessarily, although the language does not guarantee it, flattening to structs does happen in some JITs.

Only if escape analysis says it didn't go anywhere. Which works for iterators but it's not going to work for input & output arrays to this system, especially since it's asynchronous meaning it did escape the stack frame.