nonescaping は引数にしか現れないけど（デフォルトだから修飾子はいらないけど）、↑の原理で言えばいけそうな気がするね。 (edited)

1:49 AM

でもそれって escaping と nonescaping のオーバーロードがあるときにしか役に立たなそう・・・

1:51 AM

escaping は nonescaping のサブタイプだから、 nonescaping への変換は問題にならないし、ローカル変数に代入されたクロージャでも実質的に nonescaping で良いものだったら最適化でインライン展開とかまでされそう。 escaping のオーバーロードがない限り。