>>782
再帰型じゃなくて、再帰関数の返り値型を推論してくれるかどうか、ですよね？
理由としては、Scalaの型システム上で一般的に再帰関数の返り値型を推論する、
健全で完全な型推論アルゴリズムを作るのが困難(ひょっとしたら決定不能かも)だからかと。
再帰関数のテキトーなサブセットについて推論するアルゴリズムを構成するのは難しくないと思いますが、
中途半端に頑張られても帰ってややこしいので、今くらいの割り切りで丁度いい気もします。