@tailrec为什么这个方法不能用'包含不在尾部位置的递归调用'进行编译？

如果指定泛型类型,它编译正常:

import scala.annotation.tailrec

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

我认为错误信息在这种情况下具有误导性.

简化版本可以更好地暗示正在发生的事情:

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