omochimetaru

@koher @tarunon いやいや、型は型でしかないけど、 spawn letにはスコープに束縛された実行を終了待機するという実行制御も含まれているので、型の機能を超えているので型としてみなすのはおかしいと思います。 (edited)

async 型は async 型のまま外に持ち出せないというルールを加えれば同じにならないかな？ inout 型のように。つまり、必ず await しなければならなくなる。