>>724
IDEでは完全に型検査できないでしょ。
もしそれができるなら最初から実行時に検査するわけなんだから。