为什么使用隐式转换时会出现无限循环？

Context

object Fibonacci {
  final val Threshold = 30

  def fibonacci(n: Int)(implicit implementation: Fibonacci): Int = implementation match {
    case f: functional.type if n > Threshold => fibonacci(n)(imperativeWithLoop) 
    case f: imperativeWithRecursion.type => f(n)
    case f: imperativeWithLoop.type => f(n)
    case f: functional.type => f(n)
  }

  sealed abstract class Fibonacci extends (Int => Int)

  object functional extends Fibonacci {
    def apply(n: Int): Int =
      if (n <= 1) n else apply(n - 1) + apply(n - 2)
  }

  object imperativeWithRecursion extends Fibonacci {
    def apply(n: Int) = {
      @scala.annotation.tailrec
      def recursion(i: Int, f1: Int, f2: Int): Int =
        if (i == n) f2 else recursion(i + 1, f2, f1 + f2)

      if (n <= 1) n else recursion(1, 0, 1)
    }
  }

  implicit object imperativeWithLoop extends Fibonacci {
    def apply(n: Int) = {
      def loop = {
        var res = 0
        var f1 = 0
        var f2 = 1
        for (i <- 2 to n) {
          res = f1 + f2
          f1 = f2
          f2 = res
        }
        res
      }

      if (n <= 1) n else loop
    }
  }
}

Example

object Main extends App { // or REPL
  import Fibonacci._
  println(fibonacci(6)(imperativeWithRecursion)) // 8
  println(fibonacci(6)(imperativeWithLoop)) // 8
  println(fibonacci(6)(functional)) // 8
  println(fibonacci(6)) // 8
  println(fibonacci(40)(functional)) // 102334155
}

解释我正在使用 Scala，最终得到了这段代码。它编译并运行，但是......

问题：

1）之间有什么区别（可读性、性能、已知错误等）

case f: functional.type => f(n)

and

case `functional` => functional(n)

这应该是更多的讨论，所以我不仅仅对事实感兴趣。欢迎任何意见。

2）查看第一行fibonacci方法。这里是：

case f: functional.type if n > Threshold => fibonacci(n)(imperativeWithLoop)

如果我离开第二个参数列表(imperativeWithLoop)出来，代码编译但当我运行它时进入无限循环。有谁知道为什么？默认实现imperativeWithLoop编译器已知（不会产生错误）。那么为什么它不被隐式调用呢？ （我认为不会）

关于第一个问题，存在一些细微的差异，但这里并不重要。但如果你将对象大写会更好，在这种情况下你可以这样写：

case Functional => Functional(n)

关于第二个问题，如果省略imperativeWithLoop，它将选择隐式Fibonacci范围最接近——implementation（已经发现它等于funcional）。因此，它将使用与之前调用完全相同的参数来调用自身，从而进入无限循环。