そもそも引数として渡した時点でerror処理がセットになるので、do try catchで書けなくてthrows関数にする or 他のthrows Int引数に渡すという結構アクロバティックなルールになるはず

4:56 AM

そういう整合性を合わせるために無理くりなルールを導入するくらいなら、現状の関数でのみ渡せて評価とハンドリングがセットになる、という仕様のほうがよいです。

4:56 AM

これと同じことが、async T引数でも発生すると思います。