The tests may fail to detect such type errors, because the combination of all places where values are created and all places where a certain value is used must be taken into account.
Testy mohou mít problémy s rozpoznáním tohoto druhu chyb, protože musíme brát v úvahu kombinace všech míst, kde jsou hodnoty vytvořeny a kde jsou používány.