Вызываемый тип пересекается с типом параметра

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

Неправильно

Правильно

См.