callerから見るとnonescapingなクロージャにわたす行為は

7:30 AM

0回以上のクロージャ呼び出しと等価だから

7:30 AM

while ループがそれと同じだから

7:31 AM

Definitive Initializationの機構としては対応できそう

7:31 AM

あとはキャプチャ機構の方だけど

7:31 AM

nonescapingのときに必ず参照キャプチャになっているなら

7:31 AM

selfが値型だろうが

7:32 AM

不完全selfのコピー方法がわからない問題は回避できるから

7:32 AM

理論上はいけそうですね、実装は大変そうだけど

7:32 AM

キャプチャがコピーキャプチャになるケースが存在するなら、selfが不完全だとそれができないから、ダメそう