言語のspecとして静的な型システムを持たない場合でも、そのspecを超えた、処理系に依存した最適化の手法として静的にコードを事前検査して静的ディスパッチに書き換えられる。ということであればそれはそうですねー。