非検査例外よりはちゃんと型で明示されるので