相关疑难解决方法(0)

我有一些麻烦让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？
如果没有,那么一般的答案是什么让它变得不可能？