반환 유형이 명시 적으로 지정되지 않은 경우 String을 반환하는 메서드로 Unit을 반환하는 메서드를 재정의 할 수있는 이유는 무엇입니까?

Scala Edition1 https://www.artima.com/pins1ed/traits.html 에서 프로그래밍의 특성에 관한 장의 코드 예제를 작업했습니다.

오타 때문에 이상한 행동을 겪었습니다. 코드 아래의 특성의 메서드를 재정의하는 동안 오버라이드 (override) 된 메소드의 반환 형식이 다르지만 어떤 컴파일 오류를 제공하지 않는 Unit대 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컴파일러 행복하다.