为什么在没有子类型证据的情况下，这个多函数案例的隐式推导会失败？

问题描述

在下面的例子中有两个相似的无形多态函数。它们之间的唯一区别是 deserSucceeding 的隐式 case 定义有一个额外的子类型证据 (implicit e: FS <: FromStr[T])。 Scala 无法为 Aux.Case 导出隐式 deserFailing，但为 deserSucceeding 导出成功。

为什么？这是 Scala 编译器的限制，还是会导致 deserSucceeding 在隐式派生/类型推断中产生歧义？

import shapeless._
type FromStr[T] = String => T
object FromDouble extends FromStr[Double] {
  override def apply(v1: String): Double = v1.todouble
}

object deserFailing extends poly2 {
  implicit def kase[T,FS <: FromStr[T]]: Case.Aux[String,FS,T] = at((s,fs) => fs(s))
}
// fails to derive a `Case.Aux`
deserFailing("1.0",FromDouble)

object deserSucceeding extends poly2 {
  implicit def kase[T,FS](implicit e: FS <:< FromStr[T]): Case.Aux[String,fs) => fs(s))

}
deserSucceeding("1.0",FromDouble)

解决方法

TL;DR;是类型推断的工作原理。

当您执行 [T,FS <: FromStr[T]] 时，编译器会尝试推断相同类型的两者，因此它可能最终会从其中一个推断 Any 或 Nothing使子类型约束进行类型检查。
而第二个选项在推理期间不会强制任何子类型限制，这使得编译器可以推断出更好的类型，然后它会检查子类型约束。

类似于这个例子：

def tupleIfSubtype1[T <: U,U](t: T,u: U) = (t,u)
def tupleIfSubtype2[T,u: U)(implicit ev: T <:< U) = (t,u)

tupleIfSubtype1("Foo",3) // compiles,it infers Any for the second element.
tupleIfSubtype2("Foo",3) // doesn't compile.

更深入的解释，here。