As a result of this change, the formal executor of an async function is always known statically: actor-isolated async functions always formally run on the actor's executor non-actor-isolated async functions never formally run on any actor's executor