> だって実行したら機械的に型チェックも行われるんだよ？

実行しなかったら？
たとえ実行したとしても
エラーになるデータを使わなかったら？