Mengapa metode pengembalian Unit ditimpa dengan metode pengembalian String ketika jenis pengembalian tidak diberikan secara eksplisit?

Saya sedang mengerjakan contoh kode dari bab Traits in Programming in Scala Edition1 https://www.artima.com/pins1ed/traits.html

dan menemukan perilaku aneh karena kesalahan ketik saya. Sementara override metode sifat di bawah ini potongan kode tidak memberikan kesalahan kompilasi meskipun jenis kembalinya metode ditimpa berbeda Unitvs String. Tetapi setelah memanggil metode pada objek, ia mengembalikan Unit tetapi tidak mencetak apa pun.

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 = ()

Tetapi ketika saya memberikan tipe pengembalian eksplisit dalam metode yang diganti, itu memberikan kesalahan kompilasi:

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

Adakah yang bisa membantu menjelaskan mengapa tidak ada kesalahan kompilasi dalam kasus pertama.

Ketika jenis yang diharapkan adalah Unit, nilai apa pun dapat diterima :

Pembuangan Nilai

Jika ememiliki beberapa tipe nilai dan tipe yang diharapkan Unit, edikonversi ke tipe yang diharapkan dengan menyematkannya dalam term { e; () }.

pertanyaan saya adalah mengapa bisa melalui kompiler dalam kasus 1

Ketika Anda tidak menentukan jenis pengembalian secara eksplisit itu disimpulkan oleh jenis itu perlu memiliki untuk overridebekerja.

Itu ternyata Unit.

Karena Stringnilai (nilai ekspresi yang membentuk fungsi tubuh) dapat ditugaskan Unit, kompiler senang.