Scala кілька типів збігу шаблонів

Мені цікаво, як я можу використовувати збіг декількох типів. Я маю:

abstract class MyAbstract

case class MyFirst extends MyAbstract
case class MySecond extends MyAbstract
case class MyThird extends MyAbstract // shouldn't be matched and shouldn't call doSomething()

val x: MyAbstract = MyFirst

x match { 
 case a: MyFirst => doSomething()
 case b: MySecond => doSomething()
 case _ => doSomethingElse()
}

Тому я хотів би написати щось на зразок:

x match {
 case a @ (MyFirst | MySecond) => doSomething()
 case _ => doSomethingElse()
}

Я бачив подібну конструкцію в якомусь підручнику, але це призводить до помилки:

pattern type is incompatible with expected type;
[error]  found   : object MyFirst
[error]  required: MyAbstract

Тож чи є спосіб визначити кілька різних типів у реченні on case? Я думаю, це зробить код гарнішим. Як ніби у мене їх буде 5, я напишу один і той же код 5 разів (викликаючи doSomething ()).

Спасибі заздалегідь!

Вам бракує дужок для класів кейсів. Класи випадків без списків параметрів застаріли.

Спробуйте це:

abstract class MyAbstract
case class MyFirst() extends MyAbstract
case class MySecond() extends MyAbstract

val x: MyAbstract = MyFirst()


x match {
   case aOrB @ (MyFirst() | MySecond()) => doSomething(aOrB)
   case _ => doSomethingElse()
}

Якщо у вас занадто багато параметрів для класів кейсів і вам не подобається писати довгі Foo(_,_,..)шаблони, то можливо:

x match {
   case aOrB @ (_:MyFirst | _:MySecond) => doSomething(aOrB)
   case _ => doSomethingElse()
}

Або просто:

x match {
   case _:MyFirst | _:MySecond => doSomething(x) // just use x instead of aOrB
   case _ => doSomethingElse(x)
}

Але, можливо, ви просто хотіли одиничні об'єкти регістру?

abstract class MyAbstract
case object MyFirst extends MyAbstract
case object MySecond extends MyAbstract

val x: MyAbstract = MyFirst

x match {
   case aOrB @ (MyFirst | MySecond) => doSomething()
   case _ => doSomethingElse()
}