>>320
かわるねえ、テストはテスト書かなければならないし、すると書いたテストが間違っている可能性も否定できない
コンパイル時の型チェックは、つまるところソースの矛盾をつくのだから、それだけでソースの検証になりうる

ただ、型情報はコンパイル結果には含まれないのが普通だから、いうなれば無駄を書いているわけだ…