typed throwsで自動解決したらスマートですねたしかプロポーザルの時にもそれは提案されてたけど、Never as bottomがまだだったから飛ばされたんだっけな？