未定義は未定義なんだけど、コンパイラ上は未定義じゃないのに、7bでスレッドの切り替えは発生してるから、なんでかなーと。

3:47 AM

あー違うのか。MainActorだから、コンパイラからすると、新しくメインスレッドでタスクを実行してもいい（7b）し、そのまま継続してもいい（本来はスレッドの切り替えが発生しないのだからメインスレッドで実行されるはず）のか。