つーか実行時にできてもしょうがないんだよな。
実行前に検査できるのが重要であって。