型をバインドする/しないをラベル付けする必要があるんですね。型パラ増やすとかになるのかな

6:14 AM

後はこういうのも気になる。 func foo(_ a: () throws -> Int, _ b: () throws -> String) rethrows これはもう有無を言わさず型を消してErrorにしちゃわないとコンパイラの負担大きくないかな、とか。