Чому модуль, що повертає метод, може бути замінений на метод String return String, коли типи повернення явно не вказані?

Я працював над прикладами коду з глави "Особливості програмування" в Scala Edition1 https://www.artima.com/pins1ed/traits.html

і натрапив на дивну поведінку через мій друк. Хоча метод переосмислення ознаки нижче фрагмента коду не дає помилки компіляції, хоча типи повернення методу, що перекривається, відрізняються Unitвід String. Але після виклику методу на об'єкт він повертає Unit, але нічого не друкує.

trait Philosophical {
    def philosophize = println("I consume memory, therefore I am!")
}

class Frog extends Philosophical {
  override def toString = "green"
  override def philosophize = "It aint easy to be " + toString + "!"
}

val frog = new Frog
//frog: Frog = green

frog.philosophize
// no message printed on console

val f = frog.philosophize
//f: Unit = ()

Але коли я надаю явний тип повернення в переосмисленому методі, він дає помилку компіляції:

class Frog extends Philosophical {
  override def toString = "green"
  override def philosophize: String = "It aint easy to be " + toString + "!"
}
         override def philosophize: String = "It aint easy to be " + toString +
                      ^
On line 3: error: incompatible type in overriding
       def philosophize: Unit (defined in trait Philosophical);
        found   : => String
        required: => Unit

Хто-небудь може допомогти пояснити, чому в першому випадку немає помилки компіляції.

Якщо очікуваний тип Unit, будь-яке значення може бути прийнято :

Відмова від вартості

Якщо eмає якийсь тип значення, а очікуваний тип є Unit, eперетворюється на очікуваний тип, вставляючи його в термін { e; () }.

моє запитання, чому це потрапило через компілятор у 1-му випадку

Коли ви не вказали тип повернення прямо, він був зроблений з типом, який він повинен мати для overrideроботи.

Це виявилося Unit.

Оскільки Stringможуть бути призначені значення (значення виразу, що складає тіло функції) Unit, компілятор задоволений.