あとは「エラーハンドリング必ずやれ」って場面で、それを静的に解析して「書けや！」ってエラー出せればいいのかも？＞＜