@omochimetaru

そうか、Javaのtyped throwsは throws句にジェネリックパラメータタイプを書けないからダメだったんだな

Javaのthrowsは型パラメータ書けなかったっけ？問題はbottom typeがないことと、throwsにbottom type書いたら検査が起こらないようにする機能がないことじゃないかな？あと、単一の型パラメータでは複数の例外クラスのthrowsに対応できないからUnionもいる。