Option.fold в Scala 2.10

В следующем сеансе с Scala 2.10.0-M7:

scala> trait A
defined trait A
scala> class B extends A
defined class B
scala> class C extends A
defined class C
scala> Some(0).fold(new B){_=>new C}
<console>:11: error: type mismatch;
 found   : C
 required: B
              Some(0).fold(new B){_=>new C}

Я ожидаю, что компилятор найдет общий супертип (а именно A), а не будет жаловаться. Является ли это общим ограничением вывода типа или следствием определения Option.fold?

Спасибо.

Ответы на вопрос(3)

Ваш ответ на вопрос