Pourquoi une méthode renvoyant Unit peut-elle être remplacée par une méthode renvoyant String alors que les types de retour ne sont pas explicitement indiqués?

Je travaillais sur les exemples de code du chapitre Traits in Programming in Scala Edition1 https://www.artima.com/pins1ed/traits.html

et est tombé sur un comportement étrange à cause de ma faute de frappe. Bien que la méthode de remplacement d'un trait sous l'extrait de code ne donne aucune erreur de compilation, bien que les types de retour de la méthode remplacée soient différents par Unitrapport à String. Mais en appelant la méthode sur un objet, elle renvoie Unit mais n'imprime rien.

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

Mais quand je donne le type de retour explicite dans la méthode surchargée, cela donne une erreur de compilation:

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

Quelqu'un peut-il aider à expliquer pourquoi aucune erreur de compilation dans le premier cas.

Lorsque le type attendu est Unit, toute valeur peut être acceptée :

Rejet de valeur

Si ea un type de valeur et que le type attendu est Unit, eest converti en type attendu en l'incorporant dans le terme { e; () }.

ma question est pourquoi il est passé par le compilateur dans le 1er cas

Lorsque vous n'avez pas spécifié explicitement le type de retour, cela a été déduit du type dont il a besoin pour que cela overridefonctionne.

Cela s'est avéré être Unit.

Puisque des Stringvaleurs (la valeur de l'expression constituant le corps de la fonction) peuvent être attribuées Unit, le compilateur est content.