Por que um método que retorna a Unidade pode ser substituído pelo método que retorna String quando os tipos de retorno não são explicitamente fornecidos?

Eu estava trabalhando nos exemplos de código do capítulo Traits in Programming in Scala Edition1 https://www.artima.com/pins1ed/traits.html

e me deparei com um comportamento estranho por causa do meu erro de digitação. Enquanto substituindo método de um traço abaixo trecho de código não dá qualquer erro de compilação, embora os tipos de retorno do método substituído é diferente Unitvs String. Mas, ao chamar o método em um objeto, ele retorna Unit, mas não imprime nada.

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

Mas quando eu dou o tipo de retorno explícito no método substituído, ele gera um erro de compilação:

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

Alguém pode ajudar a explicar por que nenhum erro de compilação no primeiro caso.

Quando o tipo esperado é Unit, qualquer valor pode ser aceito :

Descarte de valor

Se etiver algum tipo de valor e o tipo esperado for Unit, eé convertido no tipo esperado incorporando-o ao termo { e; () }.

minha pergunta é por que passou pelo compilador no 1º caso

Quando você não especificou o tipo de retorno explicitamente, foi inferido pelo tipo que ele precisa ter para que o overridetrabalho funcione.

Isso acabou por ser Unit.

Como Stringvalores (o valor da expressão que compõe o corpo da função) podem ser atribuídos Unit, o compilador fica feliz.