scala - 同时获得见证人和类型类

Question

我正在尝试包含类型参数的单例类型。我正在尝试编写一个函数，该函数将接受该单例类型的见证人和其嵌套类型的类型类。单独获取每一个都很容易(请参阅下面的 f1() 和 f2())，但我无法让它同时工作:

import shapeless._
import shapeless.labelled.FieldType
import shapeless.syntax.singleton._

sealed trait TC[L]

object TC {
  implicit def intTC = new TC[Int] {}
}

object Test {
  def f1[VI <: Vector[Int]](value: FieldType[VI, String])(
                            implicit wt: Witness.Aux[VI]) = {}

  def f2[L](value: FieldType[_ <: Vector[L], String])(
            implicit wt: TC[L]) = {}

  def f3[L, M <: Vector[L]](value: FieldType[M, String])(
                            implicit wt: TC[L], witness: Witness.Aux[M]) = {}

  val v = Vector(1,2,3)
  f1(v ->> "foo")    // works
  f2(v ->> "foo")    // works
  f3(v ->> "foo")    // does not work
}

我正在获取

inferred type arguments [Nothing,Test.v.type] do not conform to method f3's type parameter bounds [L,M <: Vector[L]]
[error]   f3(v ->> "foo")

有没有办法帮助编译器同时推断内部类型和单例类型？

Answer 1

以下内容对我有用。我添加了一个隐式参数 ev，它提供了 M 是 Vector[L] 子类的证据，并将它们绑定(bind)在一起。这足以防止编译器推断 L 是 Nothing。

def f3[L, M <: Vector[_]](value: FieldType[M, String])(
                          implicit witness: Witness.Aux[M],
                                   ev: M <:< Vector[L], 
                                   wt: TC[L]) = {}