@tailrec Warum kompiliert diese Methode nicht mit 'Enthält einen rekursiven Aufruf nicht in Endposition'?

Question

@tailrec 
    private def loop[V](key: String): V = { 
    key match { 
     case _ => loop(key) 
    } 
    } 

Diese Methode kompiliert nicht und beschwert sich, dass sie einen rekursiven Aufruf enthält, der sich nicht in der Endposition befindet. Kann mir jemand erklären, was vor sich geht? Diese Fehlermeldung macht für mich keinen Sinn.

Answer 1

Es kompiliert ok, wenn der generische Typ angegeben wird:

import scala.annotation.tailrec 

@tailrec 
    private def loop[V](key: String): V = { 
    key match { 
     case _ => loop[V](key) 
    } 
    } 

denke ich die Fehlermeldung in diesem Fall ist irreführend.

Eine vereinfachte Version gibt einen besseren Hinweis auf das, was vor sich geht:

scala> @tailrec 
    | private def loop[V](key: String): V = { 
    |  loop(key) 
    | } 
<console>:14: error: could not optimize @tailrec annotated method loop: it is called recursively with different type arguments 
      loop(key) 
     ^