あー、朝見た時に勘違いしていたところがわかったかも

11:37 AM

そのままの仕様だと、同じリージョンだと見做されて、チェックされないということが問題なのか

11:37 AM

continuationのようなコンカレンシードメインを跨ぐようなインターフェースは

11:38 AM

そのままだと安全性が担保できていなかったのか

11:39 AM

transferringを指定する事でそのような特殊な関数であることをコンパイラに伝える事ができて

11:40 AM

リージョン解析によって、渡したところで利用が終了することを検査させるようになるんですね