Почему нет ошибки?

Хм. Смущает, что оно не всегда происходит, обычно, если какой-то метод возвращает long, а используется для вычисления int, то нужно явно привести типы. Плюс даже при простеньком выражении, если типы разные, то IDEA ругается Как определить, когда разрешено неявное приведение типов, а когда нет?

Боюсь, что ты немного заморачиваешься там, где это не особо нужно. 1. Джава - язык со строгой типизацией, это значит, что тип переменной нужно объявить сразу и потом его нельзя изменить. Этому надо просто следовать и иметь в виду. Не стоит без необходимости жонглировать типами. 2. По ходу возможно автоматическое (неявное) приведение типов, при вычислениях, это позволяет нам упростить запись - можно слева от знака плюс использовать один тип, а справа - другой. Но не надо забывать - только там, где это возможно. В принципе, в языках сто строгой типизацией такое не приветствуется 3. Приведение типов может быть явным, а может быть неявным, и если ты рассчитываешь на неявное, то ты полагаешься на некие потусторонние силы, что они каким-то образом сделают так, как ты хочешь. Можно на них полагаться, когда ты уверена, что сработает. Если не уверена - используй явное приведение. 4. Когда приведение не ведёт к потере данных, оно может происходить неявно. Когда ведёт к возможной потере - компилятор требует явного приведения, что бы удостоверится, что ты понимаешь, что делаешь. В данном случае при приведении из дабла в инт возможна потеря данных, он об этом и говорит - укажи явным приведением, что ты готова с потерей данных смириться.

Если в конкретном случае, то это, очевидно, недоработки компилятора/разработчиков джавы. Не ругается:

int sum = 0;
sum += 5 * 7.5;

Ругается:

int sum = 0;
sum = sum + 5 * 7.5;

Хотя это одно и тоже

https://metanit.com/java/tutorial/2.2.php

Спасибо! Вот как раз в "Можно на них полагаться, когда ты уверена, что сработает. Если не уверена - используй явное приведение." и хотела узнать, а когда можно быть уверенным, что сработает. И пункт 4 полностью ответил