斯卡拉Dotty联盟类型？

Question

使用SBT疯疯癫癫的插件：

addSbtPlugin("com.felixmulder" % "sbt-dotty" % "0.1.9") 

和运行sbt console，我尝试新的联合类型的功能：

Starting dotty interpreter... 
Welcome to Scala.next (pre-alpha, git-hash: 606e36b) (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_112). 
Type in expressions to have them evaluated. 
Type :help for more information. 
scala> case class A(val x: Int, y: Double) 
defined class A 
scala> case class B(val x: Int, y: String) 
defined class B 
scala> def getX(o: A | B): Int = o.x 
-- [E008] Member Not Found Error: <console> ------------------------------------ 
8 |def getX(o: A | B): Int = o.x 
    |       ^^^ 
    |       value `x` is not a member of (A | B)(o) 

为什么不这项工作？我使用联合类型是否错误？这只是没有工作？

Answer 1

我不认为这应该是实际工作。它确实工作，如果A和B延长断言一个共同的接口他们每个人都有一个x: Int：

trait C { def x: Int } 

case class A(x: Int, y: Double) extends C 

case class B(x: Int, y: String) extends C 

def getX(o: A | B): Int = o.x 

scala> getX(A(1, 2)) 
val res0: Int = 1 

没有它，编译器将需要反思一下A和B，以确定它们是否具有相同的x定义，这似乎不符合简化Scala类型系统的目标。

当然，支持文档几乎不存在，此时没有完整的规范。我认为this slide可能是混淆的来源，因为它不是可编译的代码。