Por que o scalac não pode otimizar a recursão da cauda em determinados cenários?

Por que não scalac (oScala compilador) otimizar recursão de cauda?

Chamadas de código e compilador que demonstram isso:

> cat foo.scala 
class Foo {
 def ifak(n: Int, acc: Int):Int = {  
   if (n == 1) acc  
   else ifak(n-1, n*acc)  
 }
}

> scalac foo.scala
> jd-gui Foo.class
import scala.ScalaObject;

public class Foo
  implements ScalaObject
{
  public int ifak(int n, int acc)
  {
    return ((n == 1) ? acc : 
      ifak(n - 1, n * acc));
  }
}

questionAnswers(2)

yourAnswerToTheQuestion