Система строгой типизации кода проверяет что тип вызываемого выражения пересекается с типом параметра вызываемого метода