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選項做一些與結構類型無關的事情。