戻り値の型が明示的に指定されていない場合、Unitを返すメソッドをStringを返すメソッドでオーバーライドできるのはなぜですか？

私はScala Edition1のプログラミングにおける特性の章のコード例を通して作業していました https://www.artima.com/pins1ed/traits.html

そして私のタイプミスのために奇妙な行動に出くわしました。以下の特性のオーバーライドメソッドでは、コードスニペットではコンパイルエラーは発生しませんが、オーバーライドされたメソッドの戻り値の型はUnitvs とは異なり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; () }。

私の質問は、なぜそれが最初のケースでコンパイラを通過したのかです

戻り値の型を明示的に指定しなかった場合、overrideが機能するために必要な型によって推測されました。

それが判明したUnit。

にString値（関数本体を構成する式の値）を割り当てることができるのでUnit、コンパイラーは満足です。