これってバグだと思うんですけどどうでしょう？たとえ var があったとしても、main actor isolate されていたら、外からのアクセスも、自身からのアクセスも、 main actor context からのアクセスではない場合は await が必要になるのだから、安全であり、 Sendableでいられると思う・・・実際、このような var って func b のようなメソッドによるgetterとsetterのようなものだと思うので。 (edited)