質問なのですが、投げられた例外の型ってどうやって判定してるんですか？
catchで分岐する時です。
静的に分かるものですか？
それとも実行時型情報みたいなの使うんでしょうか？