Неявная типизация подразумевает, что Left("aoeu")
является Left[String,Nothing]
. Вам нужно явно ввести его.
(Left("aoeu"): Either[String,String]) match{case Right(x) => ; case Left(x) => }
Кажется, что кандидаты для сопоставления с образцом всегда должны иметь тип, соответствующий сопоставляемому значению.
scala> case class X(a: String)
defined class X
scala> case class Y(a: String)
defined class Y
scala> X("hi") match {
| case Y("hi") => ;
| case X("hi") => ;
| }
<console>:11: error: constructor cannot be instantiated to expected type;
found : Y
required: X
case Y("hi") => ;
^
Почему он так себя ведет? Я подозреваю, что нет веских причин пытаться сопоставить несовместимый тип. Попытка сделать это является признаком того, что разработчик не пишет то, что он действительно намерен. Ошибка компилятора помогает предотвратить ошибки.