isolationが完了した理想世界ならActorを跨ぐescapingなクロージャは同時にSendableも付くはず

こうなるとSendableチェックがきちんと働くので

「暫定的に Actor を引き継いでいると判定する（ただし守られてはいない）→最終的には引き継いでいないと判定するように変更」

僕はこっちなのかと思いました。 (edited)