しかも、それはジェネリクスの <E: Error> に対して any Error を渡せる今の仕様と一貫性がある。

7:56 AM

ただし、 -> some P してるのみミスって existential 返してしまっているケースを検出できなくなる。

7:57 AM

あー、 throws some Error についてだけ暗黙的に any Error になるという形で一般的な戻り値と区別すれば現実的な落とし所になるのかな？