>>170
型チェックはそれだけではテストとして不十分なので
自動テストを走らせる必要がある

どうせ自動テストは走らせるんだから、
型チェックが行われるのがコンパイル時でも
自動テストのときでも変わらん