Scala可以注意到路径依赖类型之间的身份吗？

trait Foo { trait Bar }

object Main extends App {
  val foo1 = new Foo { }
  val foo2 = foo1

  def turkle(x: foo1.Bar) {}

  turkle(new foo2.Bar {})
}

它给出：“类型不匹配;找到：需要Main.foo2.Bar的java.lang.Object：Main.foo1.Bar”.

当然,Main.foo1.Bar和Main.foo2.Bar路径必须重合,因为我们写了val foo2 = foo1.我们可以通过将最后一行更改为来验证这一点

turkle((new foo2.Bar {}).asInstanceOf[foo1.Bar])

这两个编译和运行没有例外.

Can Scala automatically perform reasoning like this? If so,how can I make this happen?

(如果没有,是否有任何前景可以向这个方向扩展类型系统？)

我会注意到Scala确实会出现这种推理.假设我将特性Foo改为对象Foo：

object Foo { trait Bar }

object Main extends App {
  val foo1 = Foo
  val foo2 = foo1

  def turkle(x: foo1.Bar) {}

  turkle(new foo2.Bar {})
}

现在一切都编译得很好：不知何故,Scala已经确定Main.foo1.Bar和Main.foo2.Bar与Foo.Bar真的相同.