我正在尝试理解下面的代码。

object ImplicitDemo {

  def calculate(f: => Int) = f * 37

  implicit class IntWithTimes(x: Int) {
        def times[A](f: => A) : Unit = {
          def loop(current: Int): Unit =
            if(current > 0) {
              f
              loop(current - 1)
            }
          f
          loop(x)
        }
  }
  def main (args: Array[String]): Unit ={

    (-5).times(println("abc"))

  }
}

IntWithTimes是Int的隐式类，这意味着它拥有Int所具有的一切加上times函数。
当我调用(-5).times(println("abc"))时，在这个部分中，println("abc")被赋值给f，f: => A和times函数也有自己的主体。
因此，当times主体被调用时，内部函数loop也会被调用。为什么current的值等于x？这是我的第一个怀疑……难以理解这一点。
第二个疑问是，它是如何从loop函数体中出来的？直到x > 0，它将继续在if条件下运行，并继续调用嵌套的loop，一旦(x or current < 0)，它将转到loop(x).这里它似乎被困在循环中..它是如何从loop's主体中出来的？
请帮助我消除这一疑虑。
谢谢