考虑这个代码:
val foo = if(true)
new java.lang.Double(4)
else
new java.lang.Integer(4)
推断的类型foo
是:
Number with Comparable[_ >: Double with Integer <: Number with
Comparable[_ >: Double with Integer <: Number]]
所以基本上编译器会在第三次递归之后在界限上循环并中止。
为什么以下不够?
Number with Comparable[_ >: Double with Integer <: Number]
相似问题