>>861
型に対して可能なテストは「その変数の指すオブジェクトに対して
これをすることはできるか？」だけだ。
一方、テストは通常オブジェクトの振る舞いについてテストする。
後者の方が明らかに強いテストで、後者を通るなら前者も通る。
だから、型エラーが出るならテストが不十分ってこと。

実際、動的言語で十分なカバレッジを達成したときには型エラー
なんて見ないぞ？実際に動的言語で開発した経験あるのか？