在参数列表中添加隐式参数,并为其提供类型为T_和U_的隐式值。
示例代码:
trait Foo[T, U] {
def bar()(implicit ev: T <:< U): Unit = println("In Foo")
}
object Example {
def main(args: Array[String]): Unit = {
val foo = new Foo[String, Any]
foo.bar() // 编译错误:No implicits found for parameter ev: String <:< Any
implicit val ev: String <:< Any = implicitly[String <:< Any]
foo.bar() // 编译通过
}
}