如何从投影类型推断出正确的类型参数？

Question

我有一些麻烦让Scala从类型投影中推断出正确的类型.

考虑以下:

trait Foo {
  type X
}

trait Bar extends Foo {
  type X = String
}

def baz[F <: Foo](x: F#X): Unit = ???

然后以下编译好:

val x: Foo#X = ???    
baz(x)

但以下内容无法编译:

val x: Bar#X = ???    
baz(x)

斯卡拉认为"基础String类型"的x,但已失去了信息x是Bar#X.如果我注释类型,它工作正常:

baz[Bar](x)

有没有办法让Scala推断出正确的类型参数baz？
如果没有,那么一般的答案是什么让它变得不可能？

Answer 1

该程序通过在上下文中添加此隐式转换来进行编译：

implicit def f(x: Bar#X): Foo#X = x

由于这种隐式转换对于 any 是正确的F <: Foo，我想知道为什么编译器不自行执行此操作。