Выражение должно иметь тип. Выражение должно иметь тип