scala中不再支持递归结构类型吗？

Question

有些人声称，如果使用scalac的-Yrecursion选项，scala能够处理递归结构类型。不过我的简约例子并不编译：

type Num = { 
    def +(n: Num): Num 
} 

编译产量：

$ scalac -version 
Scala compiler version 2.8.0.final -- Copyright 2002-2010, LAMP/EPFL 
$ scalac -Yrecursion 100 Num.scala 
Num.scala:3: error: recursive method + needs result type 
def +(n: Num): Num 
      ^
one error found 

这篇变化？这个例子不应该编译？

Answer 1

从未支持递归结构类型。 -Yrecursion选项做一些与结构类型无关的事情。