だから、コンパイラとしては、(1) から (2) へ、(2) から (3) へ、全部MainActorだと思っていて、(2) が終わったあと、そのままそのスレッドで継続して (3) を実行するコードを吐いてもいいし、(3) は改めてMainActorのキューにのせるコードを吐いてもいいんじゃないかと。