Perché un metodo che restituisce Unità può essere sovrascritto con il metodo che restituisce String quando i tipi restituiti non sono specificati in modo esplicito?

Stavo lavorando attraverso gli esempi di codice del capitolo Tratti nella programmazione in Scala Edition1 https://www.artima.com/pins1ed/traits.html

e ho riscontrato un comportamento strano a causa del mio errore di battitura. Mentre il metodo di un tratto di sotto frammento di codice override non dà alcun errore di compilazione, anche se il tipo di ritorno del metodo sovrascritto è diverso Unitvs String. Ma chiamando il metodo su un oggetto restituisce Unità ma non stampa nulla.

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

Ma quando do il tipo di ritorno esplicito nel metodo override, dà un errore di compilazione:

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

Qualcuno può aiutare a spiegare perché nessun errore di compilazione nel primo caso.

Quando il tipo previsto è Unit, è possibile accettare qualsiasi valore :

Scarto di valore

Se eha un tipo di valore e il tipo previsto è Unit, eviene convertito nel tipo previsto incorporandolo nel termine { e; () }.

la mia domanda è: perché è arrivato attraverso il compilatore nel primo caso

Quando non è stato specificato esplicitamente il tipo restituito, è stato dedotto dal tipo che deve avere overrideaffinché funzioni.

Quello si è rivelato essere Unit.

Poiché è Stringpossibile assegnare valori (il valore dell'espressione che costituisce il corpo della funzione) Unit, il compilatore è felice.