tarunonさんが書いてるように、 @Sendable と、そうじゃないのと、それとは別に第3の「未定義」がマークできるのならまあわかるんだけど、その未定義というマークはないから、今はこれは「 @Sendable じゃない」になっているはずで、コンパイラからするとそこでスレッドの切り替えは発生しないとみるしかないはずだと思うんだけど。 (edited)