Отже, йому нема звідки знати, які типи використовуються, тому залишається тільки статичний аналіз.
Виправте помилки в цьому тексті: Отже, йому нема звідки знати, які типи використовуються, тому залишається тільки статичний аналіз.