静的でも値に対するテストはするよな？それは型チェックで分からないからな

で、値に対するテストに通れば、型チェックも通ってると思うんだけど、
なぜか静的ドカタは動的だと型のテストコードも必要と思い込んでるみたいなんだよね
なんで？