言いたかったのは、 async でも await が可視なら、 await から await までの間は同様の保証が働くということでした。