これまで typed throws はなかったわけだから、高階関数に渡されたクロージャが単なる untyped な throws のときはこれまでと同じ挙動じゃダメなの？既存コードの関数を typed throws に変更するのは戻り値は covariant だからできそうだけど、 rethrows を持つ高階関数に渡しているところが contravariant だから壊れるって意味？