Совпадение нескольких классов дел в Scala

Есть несколько способов, которые я могу видеть, чтобы достичь того, что вам нужно, если у вас есть общность между классами case. Во-первых, чтобы классы case расширили черту, которая объявляет общность, вторая - использовать структурный тип, который устраняет необходимость расширения классов case.

 object MuliCase {
   abstract class Foo
   case object A extends Foo

   trait SupportsS {val s: String}

   type Stype = Foo {val s: String}

   case class B(s:String) extends Foo
   case class C(s:String) extends Foo

   case class D(s:String) extends Foo with SupportsS
   case class E(s:String) extends Foo with SupportsS

   def matcher1(l: Foo): String = {
     l match {
       case A        => "A"
       case s: Stype => println(s.s); "B"
       case _        => "default"
     }
   }

   def matcher2(l: Foo): String = {
     l match {
       case A            => "A"
       case s: SupportsS => println(s.s); "B"
       case _            => "default"
     }
   }

   def main(args: Array[String]) {
     val a = A
     val b = B("B s value")
     val c = C("C s value")

     println(matcher1(a))
     println(matcher1(b))
     println(matcher1(c))

     val d = D("D s value")
     val e = E("E s value")

     println(matcher2(d))
     println(matcher2(e))
   }
 }

Метод структурного типа генерирует предупреждение об стирании, которое в настоящее время я не уверен, как его устранить.

Ну, это не имеет смысла, не так ли? B и C являются взаимоисключающими, поэтому привязка sb или sc привязана, но вы не знаете, что, поэтому вам потребуется дополнительная логика выбора, чтобы решить, что использовать (учитывая, что они были связаны с Option [String], а не строка). Так что ничего не получилось:

  l match {
    case A() => "A"
    case B(sb) => "B(" + sb + ")"
    case C(sc) => "C(" + sc + ")"
    case _ => "default"
  }

Или это:

  l match {
    case A() => "A"
    case _: B => "B"
    case _: C => "C"
    case _ => "default"
  }